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 Space Safety is No Accident by

bigCover of the book Smart Camera Design by

bigCover of the book Fluorescence Studies of Polymer Containing Systems by

bigCover of the book High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation by

bigCover of the book Husserl, Cassirer, Schlick by

bigCover of the book Media Representations of the Cultural Other in Turkey by

bigCover of the book The Executive Guide to Artificial Intelligence by

bigCover of the book Foot Steps of the Ancient Great Glacier of North America by

bigCover of the book Complementary Research Methods for Educational Leadership and Policy Studies by

bigCover of the book Essays Reflecting the Art of Political and Social Analysis by

bigCover of the book Mechanics and Mathematics of Fluids of the Differential Type by

bigCover of the book Victorian Detectives in Contemporary Culture by

bigCover of the book Intraoperative Ultrasound (IOUS) in Neurosurgery by

bigCover of the book Listeria monocytogenes in the Food Processing Environment by

bigCover of the book Assessing Young Learners of English: Global and Local Perspectives 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