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 Electromagnetic Fields and Waves in Fractional Dimensional Space by

bigCover of the book Anästhesie und Intensivmedizin für die Fachpflege by

bigCover of the book Rural Landscapes and Agricultural Policies in Europe by

bigCover of the book Cysticercosis of the Human Nervous System by

bigCover of the book Evolutionary Theory and the Creation Controversy by

bigCover of the book Business Intelligence by

bigCover of the book A Computational Model of Reasoning from the Clinical Literature by

bigCover of the book Geo-disaster Modeling and Analysis: An SPH-based Approach by

bigCover of the book Semantic Technologies for E-Government by

bigCover of the book Principles of Miniaturized ExtraCorporeal Circulation by

bigCover of the book Decision Science: A Human-Oriented Perspective by

bigCover of the book Data Transmission at Millimeter Waves 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