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 Ensembles of Type 2 Fuzzy Neural Models and Their Optimization with Bio-Inspired Algorithms for Time Series Prediction by

bigCover of the book Agent-Based Modeling of Sustainable Behaviors by

bigCover of the book Visualization in Medicine and Life Sciences III by

bigCover of the book From Classical to Quantum Plasmonics in Three and Two Dimensions by

bigCover of the book Eurasian Business Perspectives by

bigCover of the book Forest Inventory-based Projection Systems for Wood and Biomass Availability by

bigCover of the book Credibility, Validity, and Assumptions in Program Evaluation Methodology by

bigCover of the book Computer Aided Virtual Manufacturing Using Creo Parametric by

bigCover of the book Pattern Recognition and Information Forensics by

bigCover of the book Assessing Social Impact of Social Enterprises by

bigCover of the book Planning Support Science for Smarter Urban Futures by

bigCover of the book Information Technologies in Medicine by

bigCover of the book Clinical Guide to Heart Transplantation by

bigCover of the book State Building and National Identity Reconstruction in the Horn of Africa by

bigCover of the book Ubiquitous Computing in the Workplace 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