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
未经允许不得转载：Wow! eBook » Formal Methods for Industrial Critical Systems:17th