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 The Mexican Crack Writers by

bigCover of the book Elise Boulding: Writings on Peace Research, Peacemaking, and the Future by

bigCover of the book Input-to-State Stability for PDEs by

bigCover of the book Hemostasis and Thrombosis by

bigCover of the book The Dark Arrow of Time by

bigCover of the book SCF and APC E3 Ubiquitin Ligases in Tumorigenesis by

bigCover of the book Muscle Injuries in Sport Athletes by

bigCover of the book Capacity and Inventory Planning for Make-to-Order Production Systems by

bigCover of the book Innovation and Transformation by

bigCover of the book Crop Production and Global Environmental Issues by

bigCover of the book Aviation Risk and Safety Management by

bigCover of the book Internal Gravity Waves in the Shallow Seas by

bigCover of the book John Ruskin's Politics and Natural Law by

bigCover of the book Recent Developments in Metaheuristics 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