Model Checking Software: 19th Inteational SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Hardcover: 271 pages

Publisher: Springer (July 25, 2012)

Language: English

ISBN-10: 3642317588

代发服务

PDF电子书10元立即求助