Rigorous Software Development

An Introduction to Program Verification

Nonfiction, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Rigorous Software Development

More books from Springer London

bigCover of the book Social Media in Clinical Practice by

bigCover of the book Pervasive Advertising by

bigCover of the book Evaluating User Experience in Games by

bigCover of the book Management of Cardiovascular Disease in Women by

bigCover of the book Reflections on the Work of C.A.R. Hoare by

bigCover of the book Photophysics of Carbon Nanotubes Interfaced with Organic and Inorganic Materials by

bigCover of the book Systems Engineering for Business Process Change: New Directions by

bigCover of the book Environmental Online Communication by

bigCover of the book Female Pelvic Reconstructive Surgery by

bigCover of the book Backward Stochastic Differential Equations with Jumps and Their Actuarial and Financial Applications by

bigCover of the book Health Information Systems by

bigCover of the book Fetal and Neonatal Pathology 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