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 Clinical Investigations in Gastroenterology by

bigCover of the book Agricultural Development in the World Periphery by

bigCover of the book Noncontact Atomic Force Microscopy by

bigCover of the book The Rule of Crisis by

bigCover of the book Handbook of Mental Health in African American Youth by

bigCover of the book Politics of Architecture in Contemporary Argentine Cinema by

bigCover of the book The Structural Basis of Arrestin Functions by

bigCover of the book Party Politics in a New Democracy by

bigCover of the book Probing Correlated Quantum Many-Body Systems at the Single-Particle Level by

bigCover of the book Reliable Software Technologies – Ada-Europe 2017 by

bigCover of the book Structural Dynamics and Resilience in Supply Chain Risk Management by

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

bigCover of the book Current Treatment Options for Fuchs Endothelial Dystrophy by

bigCover of the book CMOS Front Ends for Millimeter Wave Wireless Communication Systems 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