Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, 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 Structural Pattern Recognition with Graph Edit Distance by

bigCover of the book Total Knee Arthroplasty by

bigCover of the book Fundamentals of Physics and Chemistry of the Atmosphere by

bigCover of the book Advances in Chemical Bioanalysis by

bigCover of the book Advances in Differential Equations and Applications by

bigCover of the book Intelligent Fixtures for the Manufacturing of Low Rigidity Components by

bigCover of the book Cognitive Radio Oriented Wireless Networks by

bigCover of the book The Prostate Cancer Dilemma by

bigCover of the book Contemporary Computational Mathematics - A Celebration of the 80th Birthday of Ian Sloan by

bigCover of the book Guanidines as Reagents and Catalysts II by

bigCover of the book Coordination of Complex Sociotechnical Systems by

bigCover of the book Harmonics in Offshore Wind Power Plants by

bigCover of the book Landscape Planning at the Local Level by

bigCover of the book Confectionery Science and Technology by

bigCover of the book Assessing the Social Impact of Development Projects 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