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
Big bigCover of Model Checking Software

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 Macroevolution 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