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 Neurath Reconsidered by
bigCover of the book Theory and Practice of Gearing and Transmissions by
bigCover of the book People, Personal Data and the Built Environment by
bigCover of the book Crop Improvement by
bigCover of the book Pieces and Parts in Scientific Texts by
bigCover of the book Seismic Behavior of Steel Storage Pallet Racking Systems by
bigCover of the book Web Microanalysis of Big Image Data by
bigCover of the book Teacher Education in Lifelong Learning by
bigCover of the book The Legal Regime Applicable to Private Military and Security Company Personnel in Armed Conflicts by
bigCover of the book Matching Theory for Wireless Networks by
bigCover of the book Metabolic Engineering for Bioprocess Commercialization by
bigCover of the book Industry 4.0: Managing The Digital Transformation by
bigCover of the book Zoological Collections of Germany by
bigCover of the book Global Governance of Intellectual Property in the 21st Century by
bigCover of the book Biology of Orthodontic Tooth Movement 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