The Correctness-by-Construction Approach to Programming

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 The Correctness-by-Construction Approach to Programming

More books from Springer Berlin Heidelberg

bigCover of the book Planning the Use of the Earth’s Surface by

bigCover of the book The German Continental Deep Drilling Program (KTB) by

bigCover of the book Entwurf integrierter 3D-Systeme der Elektronik by

bigCover of the book The Atlas of Climate Change: Based on SEAP-CMIP5 by

bigCover of the book Volcanic Hazards by

bigCover of the book Comparative Physiology of Fasting, Starvation, and Food Limitation by

bigCover of the book Daten- und Identitätsschutz in Cloud Computing, E-Government und E-Commerce by

bigCover of the book High-Dimensional and Low-Quality Visual Information Processing by

bigCover of the book Iridium Catalysis by

bigCover of the book Efficient Algorithms for Global Optimization Methods in Computer Vision 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