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 On the Ethical Imperatives of the Interregnum by
bigCover of the book Discrete and Computational Geometry and Graphs by
bigCover of the book Operations, Logistics and Supply Chain Management by
bigCover of the book The Italian General Election of 2018 by
bigCover of the book Essays on the Frontiers of Modern Astrophysics and Cosmology by
bigCover of the book EU Law on Indications of Geographical Origin by
bigCover of the book Cartilage by
bigCover of the book Legal Insanity: Explorations in Psychiatry, Law, and Ethics by
bigCover of the book L2-Gain and Passivity Techniques in Nonlinear Control by
bigCover of the book Rare Tumors and Tumor-like Conditions in Urological Pathology by
bigCover of the book Advances in Speech and Language Technologies for Iberian Languages by
bigCover of the book Advances and Applications in Nonlinear Control Systems by
bigCover of the book Managing Organizational Crisis and Brand Trauma by
bigCover of the book Producing Bias-Free Policing by
bigCover of the book Rhetorical Audience Studies and Reception of Rhetoric 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