Liknande böcker

Formal Methods, Foundations and Applications : 14th Brazilian Symposium,...
Bok av Adenilso. Simao
Formal Methods: Foundations and Applications : 12th Brazilian Symposium...
Bok av Marcel Vinícius Medeiros. Oliveira
Extreme Programming and Agile Processes in Software Engineering : 7th In...
Bok av Pekka. Abrahamsson
FM 2006: Formal Methods : 14th International Symposium on Formal Methods...
Bok av Jayadev. Misra
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Formal Methods and Software Engineering : 17th International Conference...
Bok av Michael Butler
Extreme Programming and Agile Processes in Software Engineering
Bok av Hubert. Baumeister
Formal Aspects of Component Software : 8th International Symposium, FACS...
Bok av Farhad. Arbab

FM 2005: Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings

Bok av John. Fitzgerald