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 Creativity and Entrepreneurial Performance by

bigCover of the book The Unfinished System of Karl Marx by

bigCover of the book Tropospheric Ozone and its Impacts on Crop Plants by

bigCover of the book The Presidentialisation of Political Parties in the Western Balkans by

bigCover of the book 8th International Symposium on High-Temperature Metallurgical Processing by

bigCover of the book Europe, the Crisis, and the Internet by

bigCover of the book Public Prosecutors in the United States and Europe by

bigCover of the book Network-Oriented Modeling by

bigCover of the book Connecting Science and Engineering Education Practices in Meaningful Ways by

bigCover of the book Sociomaterial-Design by

bigCover of the book Computational Musicology in Hindustani Music by

bigCover of the book The Higgs Boson Discovery at the Large Hadron Collider by

bigCover of the book Novel Functional Materials Based on Cellulose by

bigCover of the book Families and Technology by

bigCover of the book Business and Sustainability 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