Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

More books from Springer International Publishing

bigCover of the book Intelligent and Evolutionary Systems by
bigCover of the book Biotechnology in Africa by
bigCover of the book Thermo-Mechanics Applications and Engineering Technology by
bigCover of the book Jealousy in Infants by
bigCover of the book Economic and Social Development of the Southern and Eastern Mediterranean Countries by
bigCover of the book Astrophysical Black Holes by
bigCover of the book Congenital Heart Disease and Adolescence by
bigCover of the book In Search of a Simple Introduction to Communication by
bigCover of the book Advances in Network-Based Information Systems by
bigCover of the book Constraint Solving and Planning with Picat by
bigCover of the book Cardiovascular Imaging by
bigCover of the book Cognitive Radio Networks by
bigCover of the book Advanced Optical and Wireless Communications Systems by
bigCover of the book Sustainable Conservation and Urban Regeneration by
bigCover of the book Common Good Politics 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