Wow! eBookFormal Methods for Industrial Critical Systems: 18th Inteational Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings (Lecture .. / Programming and Software Engineering)
Hardcover: 214 pages
Publisher: Springer (October 14, 2013)
Language: English
ISBN-10: 364241009X
