The Correctness-by-Construction Approach to Programming

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of The Correctness-by-Construction Approach to Programming

More books from Springer Berlin Heidelberg

bigCover of the book Erfolgreich lehren: Ermutigen, motivieren, begeistern by
bigCover of the book IT-Governance in der Praxis by
bigCover of the book Copyright Collective Administration in Nigeria by
bigCover of the book Personalakquise im Krankenhaus by
bigCover of the book Space-Filling Curves by
bigCover of the book Global Gravity Field and Its Temporal Variations by
bigCover of the book Chemie für Einsteiger by
bigCover of the book Life Cycle Assessment in Industry and Business by
bigCover of the book Euthanasia by
bigCover of the book The Research Report on Application of Low-carbon Technology in Expo 2010 Shanghai by
bigCover of the book Hepatocellular Carcinoma and Liver Metastases: Diagnosis and Treatment by
bigCover of the book Methodische Entwicklung modularer Produktfamilien by
bigCover of the book Stem Cells from Cord Blood, in Utero Stem Cell Development and Transplantation-Inclusive Gene Therapy by
bigCover of the book Hydrodynamik by
bigCover of the book RNA and Cancer 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