Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

More books from Springer International Publishing

bigCover of the book Abel Gance and the End of Silent Cinema by

bigCover of the book Mechanical Systems by

bigCover of the book Emerging Technologies for Education by

bigCover of the book Functional Molecular Silicon Compounds II by

bigCover of the book Indirect Reports and Pragmatics by

bigCover of the book Contemporary Oral Oncology by

bigCover of the book Knowledge Science, Engineering and Management by

bigCover of the book Parametric and Nonparametric Statistics for Sample Surveys and Customer Satisfaction Data by

bigCover of the book Angry Abolitionists and the Rhetoric of Slavery by

bigCover of the book Real-Time Recursive Hyperspectral Sample and Band Processing by

bigCover of the book Optimization Methods in Structural Design by

bigCover of the book Source Modeling Techniques for Quality Enhancement in Statistical Parametric Speech Synthesis by

bigCover of the book Pathological Elements in Analog Circuit Design by

We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy