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 Data Driven Approaches in Digital Education by

bigCover of the book Security and Privacy in Communication Networks by

bigCover of the book Coordination, Organizations, Institutions, and Norms in Agent Systems XI by

bigCover of the book Web Technologies and Applications by

bigCover of the book Advances in Information and Communication Technologies for Adapting Agriculture to Climate Change by

bigCover of the book Supervising Child Protection Practice: What Works? by

bigCover of the book Vehicle Dynamics by

bigCover of the book Recent Developments in Data Science and Business Analytics by

bigCover of the book OpenSHMEM and Related Technologies. Experiences, Implementations, and Technologies by

bigCover of the book Applications of Nonlinear Analysis by

bigCover of the book Toxins and Contaminants in Indian Food Products by

bigCover of the book Information Retrieval Technology by

bigCover of the book Building for a Sustainable Future in Our Schools by

bigCover of the book Experimental Algorithms by

bigCover of the book Advances in Integrated and Sustainable Supply Chain Planning 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