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
Big bigCover of Leveraging Applications of Formal Methods, Verification and Validation. Verification

More books from Springer International Publishing

bigCover of the book Engineering the Atom-Photon Interaction by
bigCover of the book Optimization of Stochastic Discrete Systems and Control on Complex Networks by
bigCover of the book Ageing in Irish Writing by
bigCover of the book Muslim History and Social Theory by
bigCover of the book Taxonomy Matching Using Background Knowledge by
bigCover of the book Perturbative and Non-perturbative Approaches to String Sigma-Models in AdS/CFT by
bigCover of the book Science and Sensibilia by W. V. Quine by
bigCover of the book Insulation Measurement and Supervision in Live AC and DC Unearthed Systems by
bigCover of the book Dynamics of Coupled Structures, Volume 4 by
bigCover of the book The Lysenko Controversy as a Global Phenomenon, Volume 1 by
bigCover of the book The Wild Oryza Genomes by
bigCover of the book Basic Needs, Wellbeing and Morality by
bigCover of the book Cardiac Cell Culture Technologies by
bigCover of the book Robust Multimodal Cognitive Load Measurement by
bigCover of the book Geostatistical Methods for Reservoir Geophysics 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