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 Pediatric Liver Tumors by
bigCover of the book Diffusion-Weighted MR Imaging by
bigCover of the book Age-related Macular Degeneration by
bigCover of the book Berufsfelder der Pädagogischen Psychologie by
bigCover of the book Zivilprozessrecht by
bigCover of the book Proof of Therapeutical Effectiveness of Nootropic and Vasoactive Drugs by
bigCover of the book Topics in Dental Biochemistry by
bigCover of the book Interfacial Electrochemistry by
bigCover of the book Pancreatology by
bigCover of the book Chernobyl by
bigCover of the book Behavioral Neurobiology of Stress-related Disorders by
bigCover of the book Seasonal Spermatogenesis in the Mute Swan (Cygnus olor) by
bigCover of the book Foresighted Leading by
bigCover of the book Research Methods in Orthodontics by
bigCover of the book The Meniscus 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