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
Big bigCover of Leveraging Applications of Formal Methods, Verification, and Validation

More books from Springer International Publishing

bigCover of the book Electronic Government by
bigCover of the book Electrochemistry of N4 Macrocyclic Metal Complexes by
bigCover of the book Big and Complex Data Analysis by
bigCover of the book Connecting Analytical Thinking and Intuition by
bigCover of the book Morality, Governance, and Social Institutions by
bigCover of the book Conservation of Tropical Rainforests by
bigCover of the book Relocating the History of Science by
bigCover of the book Mathematics and Its Applications by
bigCover of the book The Prostate Cancer Dilemma by
bigCover of the book Microbial Applications Vol.2 by
bigCover of the book Advances in Knowledge Discovery and Management by
bigCover of the book Clinical Cases in Heart Failure by
bigCover of the book Fluid and Thermodynamics by
bigCover of the book Crop Systems Biology by
bigCover of the book Cartography - Maps Connecting the World 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