Rigorous Software Development

An Introduction to Program Verification

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Rigorous Software Development

More books from Springer London

bigCover of the book Systems Thinkers by
bigCover of the book Maintenance Management in Network Utilities by
bigCover of the book Concise Computer Vision by
bigCover of the book Reflections on the Work of C.A.R. Hoare by
bigCover of the book Jung’s Personality Theory Quantified by
bigCover of the book Histopathology Reporting by
bigCover of the book Disorders of the Hand by
bigCover of the book Manufacturing Process Design and Costing by
bigCover of the book Electronic Books and ePublishing by
bigCover of the book Gamut Index of Skeletal Dysplasias by
bigCover of the book Desiccant-Assisted Cooling by
bigCover of the book Disaster Medicine by
bigCover of the book Biologically Inspired Design by
bigCover of the book Using Event-B for Critical Device Software Systems by
bigCover of the book Osteoporosis Research 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