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 Hormones in Lipoprotein Metabolism by

bigCover of the book Chemische Elemente und ihre Spezies by

bigCover of the book Amorphous Silicon / Crystalline Silicon Heterojunction Solar Cells by

bigCover of the book Dealing with consumer uncertainty by

bigCover of the book The Vertebrate Integument Volume 2 by

bigCover of the book Histological Typing of Bone Tumours by

bigCover of the book The Nature of Motive Force by

bigCover of the book Wild Crop Relatives: Genomic and Breeding Resources by

bigCover of the book Digitalisierung in Bund, Ländern und Gemeinden by

bigCover of the book Wiederholungs- und Vertiefungskurs Strafrecht by

bigCover of the book Handbook of Technical Diagnostics by

bigCover of the book Nanostructuring for Nitride Light-Emitting Diodes and Optical Cavities by

bigCover of the book Strafvollstreckung by

bigCover of the book Piezotronics and Piezo-Phototronics 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