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 Handbuch Ethik und Recht der Forschung am Menschen by

bigCover of the book Plant Cell and Tissue Culture - A Tool in Biotechnology by

bigCover of the book Clinical Endocrinology by

bigCover of the book Lehrmeister Ratte by

bigCover of the book Fertigungsverfahren 2 by

bigCover of the book Study of the Inclusive Beauty Production at CMS and Construction and Commissioning of the CMS Pixel Barrel Detector by

bigCover of the book Nephrocalcinosis Calcium Antagonists and Kidney by

bigCover of the book Full Seismic Waveform Modelling and Inversion by

bigCover of the book Cell Polarity and Subcellular RNA Localization by

bigCover of the book Blistering Diseases by

bigCover of the book Proceedings of the 14th International Conference on Man-Machine-Environment System Engineering by

bigCover of the book Gold and Gold Mining in Ancient Egypt and Nubia by

bigCover of the book Molecular Evolution: Evidence for Monophyly of Metazoa by

bigCover of the book Qualitative Analysis and Control of Complex Neural Networks with Delays 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