Wow! eBookFormal Methods for Industrial Critical Systems: 15th Inteational Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings (Lecture .. / Programming and Software Engineering)
Hardcover: 243 pages
Publisher: Springer (November 4, 2010)
Language: English
ISBN-10: 3642158978
