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 Christian Democracy Across the Iron Curtain by

bigCover of the book Artificial Intelligence and Economic Theory: Skynet in the Market by

bigCover of the book Rheology and Non-Newtonian Fluids by

bigCover of the book Digital Human Modeling: Applications in Health, Safety, Ergonomics and Risk Management: Human Modeling by

bigCover of the book Machining of Bone and Hard Tissues by

bigCover of the book Information Society Development through ICT Market Strategies by

bigCover of the book Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation by

bigCover of the book Application and Theory of Petri Nets and Concurrency by

bigCover of the book Laser Scanning Systems in Highway and Safety Assessment by

bigCover of the book Modal Interval Analysis by

bigCover of the book Computational Studies in Organometallic Chemistry by

bigCover of the book Microwave Radiation of the Ocean-Atmosphere by

bigCover of the book Cyclostationarity: Theory and Methods – IV by

bigCover of the book Artists’ Voices in Cultural Policy 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