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 Vascular Pattern in Embryos with Clefts of Primary and Secondary Palate by

bigCover of the book The Real and Virtual Worlds of Spatial Planning by

bigCover of the book Finance – Fundamental Problems and Solutions by

bigCover of the book Interne Kommunikation im Krankenhaus by

bigCover of the book The 19th International Conference on Industrial Engineering and Engineering Management by

bigCover of the book Injection Molding by

bigCover of the book Basic and Clinical Research on Renal Cell Carcinoma by

bigCover of the book Innovators' Marketplace by

bigCover of the book Manual on Assisted Reproduction by

bigCover of the book Promoting Sustainable Innovations in Plant Varieties by

bigCover of the book Modern NMR Methodology by

bigCover of the book Serialization and Persistent Objects by

bigCover of the book Compressive Optic Nerve Lesions at the Optic Canal by

bigCover of the book Electromagnetic Fields and Waves in Fractional Dimensional Space by

bigCover of the book On Gauge Fixing Aspects of the Infrared Behavior of Yang-Mills Green Functions 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