Integrated Formal Methods: 8th Inteational Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Hardcover: 352 pages

Publisher: Springer (October 6, 2010)

Language: English

ISBN-10: 3642162649

代发服务

PDF电子书10元立即求助