Wow! eBookFM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Hardcover: 820 pages
Publisher: Springer (October 26, 2009)
Language: English
ISBN-10: 3642050883
