Leveraging Applications of Formal Methods, Verification, and Validation: Inteational Workshops, SARS 2011 and MLSC 2011, held under the auspices of .. in Computer and Information Science)

Hardcover: 272 pages

Publisher: Springer (October 27, 2012)

Language: English

ISBN-10: 3642347800

代发服务

PDF电子书10元立即求助