Leveraging Applications of Formal Methods, Verification, and Validation

6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

Nonfiction, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Leveraging Applications of Formal Methods, Verification, and Validation

More books from Springer International Publishing

bigCover of the book Collective Dynamics of Particles by

bigCover of the book Global Governance and Muslim Organizations by

bigCover of the book Database Systems for Advanced Applications by

bigCover of the book Extreme Ocean Waves by

bigCover of the book High-Speed Decoders for Polar Codes by

bigCover of the book Borders, Bodies and Narratives of Crisis in Europe by

bigCover of the book New Atheism: Critical Perspectives and Contemporary Debates by

bigCover of the book The Three-body Problem from Pythagoras to Hawking by

bigCover of the book Intestinal Tumorigenesis by

bigCover of the book Ricci Flow and Geometric Applications by

bigCover of the book Nanoscience in Food and Agriculture 1 by

bigCover of the book Urban Archaeology, Municipal Government and Local Planning by

bigCover of the book Handbook of Convex Optimization Methods in Imaging Science by

bigCover of the book Media Transatlantic: Developments in Media and Communication Studies between North American and German-speaking Europe by

bigCover of the book Myasthenia Gravis and Related Disorders 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