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 Labour and the Politics of Disloyalty in Belfast, 1921-39 by

bigCover of the book Model-Reference Robust Tuning of PID Controllers by

bigCover of the book Patient-Derived Xenograft Models of Human Cancer by

bigCover of the book Ideals, Interests, and U.S. Foreign Policy from George H. W. Bush to Donald Trump by

bigCover of the book Representing Realists in Victorian Literature and Criticism by

bigCover of the book Competition and Investment in Air Transport by

bigCover of the book Decision Making and Performance Evaluation Using Data Envelopment Analysis by

bigCover of the book Women in Security by

bigCover of the book Creating the Future? The 1960s New English Universities by

bigCover of the book Magical Capitalism by

bigCover of the book Microarray Bioprinting Technology by

bigCover of the book Design of Switched-Capacitor Filter Circuits using Low Gain Amplifiers by

bigCover of the book Moral Psychology by

bigCover of the book Regenerative Medicine - from Protocol to Patient 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