Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, 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 Dynamical Systems in Applications by

bigCover of the book Vehicle and Automotive Engineering by

bigCover of the book Fundamentals of Discrete Math for Computer Science by

bigCover of the book Software Engineering and Algorithms in Intelligent Systems by

bigCover of the book PowerFactory Applications for Power System Analysis by

bigCover of the book Networks and Network Analysis for Defence and Security by

bigCover of the book Creating the Future? The 1960s New English Universities by

bigCover of the book Sustainability Reporting in Central and Eastern European Companies by

bigCover of the book Advanced Treatment Technologies for Urban Wastewater Reuse by

bigCover of the book Information Literacy in the Workplace by

bigCover of the book Decision Support Systems IV - Information and Knowledge Management in Decision Processes by

bigCover of the book Geographic Information Science at the Heart of Europe by

bigCover of the book Research and Development in Art, Design and Creativity by

bigCover of the book International Symposium on Geodesy for Earthquake and Natural Hazards (GENAH) by

bigCover of the book Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer 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