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 Basic Mechanisms Controlling Term and Preterm Birth by

bigCover of the book Subsequent Agreements and Subsequent Practice in Domestic Courts by

bigCover of the book Flüchtlingsrecht by

bigCover of the book Numerische Auslegung von Wälzlagern by

bigCover of the book The Timeless Principles of Successful Business Strategy by

bigCover of the book Investition und Finanzierung by

bigCover of the book Organizations’ Environmental Performance Indicators by

bigCover of the book The Global Politics of Science and Technology - Vol. 1 by

bigCover of the book Lectures on Algebraic Topology by

bigCover of the book Introduction to Nano by

bigCover of the book Kindheit - aufs Spiel gesetzt by

bigCover of the book Computer Science and Educational Software Design by

bigCover of the book Yearbook of Intensive Care and Emergency Medicine 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