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 Seventeenth-Century Indivisibles Revisited by
bigCover of the book Biochemical Roles of Eukaryotic Cell Surface Macromolecules by
bigCover of the book Antimicrobial Drug Resistance by
bigCover of the book Uterine Adenomyosis by
bigCover of the book Modeling Transport Phenomena in Porous Media with Applications by
bigCover of the book Unifying Causality and Psychology by
bigCover of the book Geometry Through History by
bigCover of the book Nearly Zero Energy Buildings and Proliferation of Microorganisms by
bigCover of the book Applied Multiregional Demography: Migration and Population Redistribution by
bigCover of the book The Impact of Education in South Asia by
bigCover of the book The Materials and Craft of Early Iconographers by
bigCover of the book Audi Alteram Partem in Criminal Proceedings by
bigCover of the book Media, Diaspora and the Somali Conflict by
bigCover of the book Work Organization and Human Resource Management by
bigCover of the book Quantum Theory from a Nonlinear Perspective 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