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 Information Systems: Development, Applications, Education by

bigCover of the book Biomolecular Imaging at High Spatial and Temporal Resolution In Vitro and In Vivo by

bigCover of the book Cohomological Aspects in Complex Non-Kähler Geometry by

bigCover of the book Advances in Social and Occupational Ergonomics by

bigCover of the book Monarchies and the Great War by

bigCover of the book Seeing Our Planet Whole: A Cultural and Ethical View of Earth Observation by

bigCover of the book Optical Coherence Tomography by

bigCover of the book Health Inequities Related to Intimate Partner Violence Against Women by

bigCover of the book Calcium Signaling In Airway Smooth Muscle Cells by

bigCover of the book Craniofacial Trauma by

bigCover of the book Recent Advances in Computational Intelligence by

bigCover of the book Dentine Hypersensitivity by

bigCover of the book Murder on the Einstein Express and Other Stories by

bigCover of the book Modeling and Simulation in Engineering, Economics and Management by

bigCover of the book Identity, Meaning, and Subjectivity in Career Development 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