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 Metal Matrix Composites by
bigCover of the book Endoscopy in Pediatric Inflammatory Bowel Disease by
bigCover of the book Machine Learning in Medicine - a Complete Overview by
bigCover of the book Short Views on Insect Genomics and Proteomics by
bigCover of the book Point-of-Care Tests for Severe Hemorrhage by
bigCover of the book Proceedings of the Eleventh International Conference on Management Science and Engineering Management by
bigCover of the book Understanding Food Insecurity by
bigCover of the book Testing and Validation of Computer Simulation Models by
bigCover of the book Structured Object-Oriented Formal Language and Method by
bigCover of the book The Rationality and Justification of Legislation by
bigCover of the book Pica in Individuals with Developmental Disabilities by
bigCover of the book Sociocultural Perspectives on Youth Ethical Consumerism by
bigCover of the book Rhetorical Audience Studies and Reception of Rhetoric by
bigCover of the book Intelligent Computing Methodologies by
bigCover of the book Born-Jordan Quantization 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