Model Checking Software

25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, 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 Exploitation and Misrule in Colonial and Postcolonial Africa by

bigCover of the book Military Identity and the Transition into Civilian Life by

bigCover of the book State Space Consistency and Differentiability by

bigCover of the book Religious Education in a Global-Local World by

bigCover of the book Classroom-Oriented Research by

bigCover of the book Oncologic Emergency Medicine by

bigCover of the book High Performance Computing by

bigCover of the book Polyoxometalate-Based Assemblies and Functional Materials by

bigCover of the book Critical Space Infrastructures by

bigCover of the book Henry P. McKean Jr. Selecta by

bigCover of the book Sustainability Science: Field Methods and Exercises by

bigCover of the book Applied Statistics in Biomedicine and Clinical Trials Design by

bigCover of the book Security, Privacy, and Anonymity in Computation, Communication, and Storage by

bigCover of the book Integrating the Participants’ Perspective in the Study of Language and Communication Disorders by

bigCover of the book Equity Markets in Transition 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