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 Marian Devotions, Political Mobilization, and Nationalism in Europe and America by

bigCover of the book Networked Systems by

bigCover of the book Memories of Gustav Ichheiser by

bigCover of the book Logic Synthesis for Finite State Machines Based on Linear Chains of States by

bigCover of the book Historical Earthquake-Resistant Timber Framing in the Mediterranean Area by

bigCover of the book Sinus Headache, Migraine, and the Otolaryngologist by

bigCover of the book Host Defense Peptides and Their Potential as Therapeutic Agents by

bigCover of the book Derived Embodiment in Abstract Language by

bigCover of the book Multimedia Tools and Applications for Environmental & Biodiversity Informatics by

bigCover of the book Economic and Social Impacts of Food Self-Reliance in the Caribbean by

bigCover of the book Agile Procurement by

bigCover of the book Homological and Combinatorial Methods in Algebra by

bigCover of the book Advances in Artificial Life and Evolutionary Computation by

bigCover of the book Towards a Sustainable Economy 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