Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, 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 Verified Software: Theories, Tools and Experiments

More books from Springer International Publishing

bigCover of the book Earths of Distant Suns by

bigCover of the book Robust Simulation for Mega-Risks by

bigCover of the book Melanin-Concentrating Hormone and Sleep by

bigCover of the book Hearing and Hormones by

bigCover of the book Time-Varying Vector Fields and Their Flows by

bigCover of the book Nuclear Medicine Companion by

bigCover of the book Liberalizations in Network Industries by

bigCover of the book Multiculturalism as Multimodal Communication by

bigCover of the book The Pediatric Anterior Cruciate Ligament by

bigCover of the book Marxism, Pragmatism, and Postmetaphysics by

bigCover of the book Public Service Broadcasting and Media Systems in Troubled European Democracies by

bigCover of the book Energy-Level Control at Hybrid Inorganic/Organic Semiconductor Interfaces by

bigCover of the book Science Education: A Global Perspective by

bigCover of the book Sociorobot 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