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 Handbook of Digital Homecare by

bigCover of the book Quadratische Zahlkörper by

bigCover of the book Warren’s Operation by

bigCover of the book Early Russian Organic Chemists and Their Legacy by

bigCover of the book Diagnostic Procedures in Pancreatic Disease by

bigCover of the book Patient-Specific Modeling in Tomorrow's Medicine by

bigCover of the book Human Rights in the Prevention and Punishment of Terrorism by

bigCover of the book Lithosphere Dynamics and Sedimentary Basins: The Arabian Plate and Analogues by

bigCover of the book Wohlstand ohne Kinder? by

bigCover of the book Psychologie des Unternehmertums by

bigCover of the book Research Report on Corporate Social Responsibility of China by

bigCover of the book Grundlagen der Mikroökonomik by

bigCover of the book Die beta-inside Galaxie by

bigCover of the book Plant Electrophysiology by

bigCover of the book Minimal Residual Disease in Melanoma 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