Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Computer Science, 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 Leonid Isaakovich Mandelstam by

bigCover of the book Characteristics of Temporary Migration in European-Asian Transnational Social Spaces by

bigCover of the book Instability in Flow Boiling in Microchannels by

bigCover of the book Information Security and Cryptology by

bigCover of the book Nano-size Polymers by

bigCover of the book Capacitated Lot Sizing Problems in Process Industries by

bigCover of the book Reviews of Environmental Contamination and Toxicology Volume 241 by

bigCover of the book Advances in Heart Valve Biomechanics by

bigCover of the book Business Process Management Workshops by

bigCover of the book Advanced Microscopy in Mycology by

bigCover of the book Dynamics of Civil Structures, Volume 2 by

bigCover of the book Design Thinking Research by

bigCover of the book Modeling Innovation Sustainability and Technologies by

bigCover of the book Queering Childhood in Early Modern English Drama and Culture 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