Liknande böcker

Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Aus...
Bok av María J. Blesa
Integrated Formal Methods : 6th International Conference, IFM 2007, Oxfo...
Bok av Jim. Davies
Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Formal Methods for Components and Objects (vol. # 4111) : 4th Internatio...
Bok av Frank S. de Boer
Applications and Theory of Petri Nets : 32nd International Conference, P...
Bok av Lars M. Kristensen
Algebraic Methodology and Software Technology : 13th International Confe...
Bok av Michael. Johnson
Automated Technology for Verification and Analysis : 7th International S...
Bok av Zhiming. Liu
Formal Methods and Software Engineering : 17th International Conference...
Bok av Michael Butler

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Bok av Judi. Romijn