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 Estimating Needs for Mental Health Care by

bigCover of the book Cognitive Synthesis Test by

bigCover of the book Computer Vision Techniques for the Diagnosis of Skin Cancer by

bigCover of the book Metals and Society by

bigCover of the book Many-Body Schrödinger Dynamics of Bose-Einstein Condensates by

bigCover of the book Deficits in EU and US Mandatory Environmental Information Disclosure by

bigCover of the book Mathematik und Gott und die Welt by

bigCover of the book Organometallics and Renewables by

bigCover of the book Flexible Intramedullary Nailing in Children by

bigCover of the book Clays in Crustal Environments by

bigCover of the book New Trends in Allergy V by

bigCover of the book CT and MRI of Disk Herniations by

bigCover of the book Biology of Ovarian Follicles in Mammals by

bigCover of the book Adaptation and Evolution in Marine Environments, Volume 1 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