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 New Approaches in History and Theology to Same-Sex Love and Desire by
bigCover of the book Blood Pressure Monitoring in Cardiovascular Medicine and Therapeutics by
bigCover of the book Quantum Computational Number Theory by
bigCover of the book International Tax Evasion in the Global Information Age by
bigCover of the book Nature, Tourism and Ethnicity as Drivers of (De)Marginalization by
bigCover of the book Cancer and Zebrafish by
bigCover of the book Social Network Analysis in Predictive Policing by
bigCover of the book Advancing Culture of Living with Landslides by
bigCover of the book Mechanisms, Transmissions and Applications by
bigCover of the book Advances in Visual Informatics by
bigCover of the book Karst Groundwater Contamination and Public Health by
bigCover of the book Persuasive Technology by
bigCover of the book Public Management by
bigCover of the book Automatic Processing of Natural-Language Electronic Texts with NooJ by
bigCover of the book Language and Automata Theory and Applications 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