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 Tractable Models of Solid Mechanics by
bigCover of the book Polymers in Nanomedicine by
bigCover of the book Aufgabensammlung Analysis 1 by
bigCover of the book Chips 2020 by
bigCover of the book Multislice-CT of the Abdomen by
bigCover of the book Psychological Managements for Psychosomatic Disorders by
bigCover of the book Arenaviruses I by
bigCover of the book Sportsponsoring by
bigCover of the book Biotechnology of Hairy Root Systems by
bigCover of the book Chernobyl by
bigCover of the book Entscheidungstheorie by
bigCover of the book Environmental Impacts of Mining Activities by
bigCover of the book Lymphoid Neoplasias II by
bigCover of the book Radiation Protection in Nuclear Medicine by
bigCover of the book Self Organized Nanostructures of Amphiphilic Block Copolymers I 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