Formal Methods for Industrial Critical Systems:12th Inteational Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers .. / Programming and Software Engineering)
Hardcover: 251 pages
Publisher: Springer (May 19, 2008)
Language: English
ISBN-10: 3540797068
未经允许不得转载：Wow! eBook » Formal Methods for Industrial Critical Systems:12th