Formal Methods for Industrial Critical Systems: 12th

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

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