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 Neo-liberalism and the Architecture of the Post Professional Era by

bigCover of the book The Development of Africa by

bigCover of the book New Approaches in Intelligent Control by

bigCover of the book Scientific Peer Reviewing by

bigCover of the book Post-Crisis Banking Regulation in the European Union by

bigCover of the book The Complete Options Trader by

bigCover of the book Optical Character Recognition Systems for Different Languages with Soft Computing by

bigCover of the book Cognitive Radio and Networking for Heterogeneous Wireless Networks by

bigCover of the book Gastric Cardiac Cancer by

bigCover of the book Grating-Based X-Ray Phase-Contrast Mammography by

bigCover of the book Neuroimaging of Traumatic Brain Injury by

bigCover of the book Advanced Materials Processing and Manufacturing by

bigCover of the book Ureteral Stone Management by

bigCover of the book Approximation with Positive Linear Operators and Linear Combinations 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