Wow! eBookIntegrated Formal Methods: 6th Inteational Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Hardcover: 660 pages
Publisher: Springer (June 22, 2007)
Language: English
ISBN-10: 3540732098
