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 The Incomputable by
bigCover of the book Measuring Women’s Political Empowerment across the Globe by
bigCover of the book Real-time Strategy and Business Intelligence by
bigCover of the book Sustainable Operations Strategies by
bigCover of the book Proceedings of the Third International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’18) by
bigCover of the book Submillimetre Studies of Prestellar and Starless Cores in the Ophiuchus, Taurus and Cepheus Molecular Clouds by
bigCover of the book Sustainable Fashion by
bigCover of the book Interpretations of Luxury by
bigCover of the book Global Mobile Satellite Communications Applications by
bigCover of the book Dairy Chemistry and Biochemistry by
bigCover of the book Lived Citizenship on the Edge of Society by
bigCover of the book Enabling Secure and Privacy Preserving Communications in Smart Grids by
bigCover of the book Asylum, Work, and Precarity by
bigCover of the book Performative Experience Design by
bigCover of the book Artificial Intelligence and Economic Theory: Skynet in the Market 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