Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, 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 Vasovagal Syncope by

bigCover of the book Cellular Ageing and Replicative Senescence by

bigCover of the book Distributed Computing and Monitoring Technologies for Older Patients by

bigCover of the book Small States and EU Governance by

bigCover of the book Cybernetics Approaches in Intelligent Systems by

bigCover of the book Physics of Wurtzite Nitrides and Oxides by

bigCover of the book Laser-Driven Particle Acceleration Towards Radiobiology and Medicine by

bigCover of the book The Reputable Firm by

bigCover of the book Ubiquitous Networking by

bigCover of the book Energy Limits in Computation by

bigCover of the book Minimally Invasive Bariatric and Metabolic Surgery by

bigCover of the book Philosophical Biology in Aristotle's Parts of Animals by

bigCover of the book Controlled Atmosphere Transmission Electron Microscopy by

bigCover of the book Principles of Harmonic Analysis by

bigCover of the book Towards a Post-Bertalanffy Systemics 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