Formal Methods for Industrial Critical Systems: 17th

Formal Methods for Industrial Critical Systems: 17th Inteational Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes .. / Programming and Software Engineering)

Hardcover: 237 pages

Publisher: Springer (July 17, 2012)

Language: English

ISBN-10: 3642324681

电子书代发PDF格式价格10元我要求助
未经允许不得转载:Wow! eBook » Formal Methods for Industrial Critical Systems: 17th