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 Ethics and Diversity in Business Management Education by
bigCover of the book The Role of the Regions in EU Governance by
bigCover of the book Terminal Ballistics by
bigCover of the book Risk Habitat Megacity by
bigCover of the book Molecular and Functional Models in Neuropsychiatry by
bigCover of the book Metabolic Changes Induced by Alcohol by
bigCover of the book Jähzorn by
bigCover of the book Errors in Chest Radiography by
bigCover of the book Green Business Process Management by
bigCover of the book Fractal Modelling by
bigCover of the book Histological Typing of Soft Tissue Tumours by
bigCover of the book Handbook of Contrast Echocardiography by
bigCover of the book Physical Implementation of Quantum Walks by
bigCover of the book Functional Reconstruction of the Mandible by
bigCover of the book Kommunikation bei Demenz 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