Formal Methods for Industrial Critical Systems: 13th

Formal Methods for Industrial Critical Systems: 13th Inteational Workshop, FMICS 2008, LAquila, Italy, September 15-16, 2008, Revised Selected .. / Programming and Software Engineering)

Hardcover: 233 pages

Publisher: Springer (July 20, 2009)

Language: English

ISBN-10: 3642032397

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