Leveraging Applications of Formal Methods, Verification and Validation. Verification

8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

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

Big bigCover of Leveraging Applications of Formal Methods, Verification and Validation. Verification

More books from Springer International Publishing

bigCover of the book Approximation with Positive Linear Operators and Linear Combinations by

bigCover of the book Against‐Medical‐Advice Discharges from the Hospital by

bigCover of the book Games and Learning Alliance by

bigCover of the book House Church Christianity in China by

bigCover of the book Informatics in Control, Automation and Robotics by

bigCover of the book Constructive Side-Channel Analysis and Secure Design by

bigCover of the book Dynamics of Disasters—Key Concepts, Models, Algorithms, and Insights by

bigCover of the book Understanding Suicide by

bigCover of the book Demography for Planning and Policy: Australian Case Studies by

bigCover of the book Progress in Cryptology – INDOCRYPT 2016 by

bigCover of the book Experimental and Numerical Investigation of Advanced Materials and Structures by

bigCover of the book Atlas of Diagnostically Challenging Melanocytic Neoplasms by

bigCover of the book Feminism in Play by

bigCover of the book Anthocyanins and Human Health: Biomolecular and therapeutic aspects by

bigCover of the book Computing and Combinatorics 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