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 Satellite Altimetry for Geodesy, Geophysics and Oceanography by

bigCover of the book Mechanik und Wärmelehre by

bigCover of the book Cholera Outbreaks by

bigCover of the book Mathematical Modeling for Complex Fluids and Flows by

bigCover of the book The Rocky Road to Publishing in the Management and Decision Sciences and Beyond by

bigCover of the book The Acquisition of Gender by

bigCover of the book Electromigration Techniques by

bigCover of the book Asymmetric Continuum by

bigCover of the book Complex Hamiltonian Dynamics by

bigCover of the book Immunology of the Neonate by

bigCover of the book Vom Universum zu den Elementarteilchen by

bigCover of the book The Lotus japonicus Genome by

bigCover of the book Multiplication Operators on the Bergman Space by

bigCover of the book Remote Sensing of Large Wildfires by

bigCover of the book Clostridium difficile 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