Formal Methods for Industrial Critical Systems: 16th Inteational Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings (Lecture Notes .. / Programming and Software Engineering)

Hardcover: 270 pages

Publisher: Springer (September 19, 2011)

Language: English

ISBN-10: 3642244300

代发服务

PDF电子书10元立即求助