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 Remapping African Literature by

bigCover of the book Scenario Analysis in Risk Management by

bigCover of the book The Transformation of Georgia from 2004 to 2012 by

bigCover of the book Managing Software Crisis: A Smart Way to Enterprise Agility by

bigCover of the book Mom the Chemistry Professor by

bigCover of the book Strategic Consulting by

bigCover of the book Marine Shells of Goa by

bigCover of the book Smart Blockchain by

bigCover of the book Faunal Heritage of Rajasthan, India by

bigCover of the book Progress in Vehicle Aerodynamics and Thermal Management by

bigCover of the book Modern Optimization with R by

bigCover of the book Kenya and Britain after Independence by

bigCover of the book On Shear Behavior of Structural Elements Made of Steel Fiber Reinforced Concrete 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