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 Grasping in Robotics by

bigCover of the book Pelvic Floor Re-education by

bigCover of the book Introduction to Biopsy Interpretation and Surgical Pathology by

bigCover of the book Privacy and Security for Cloud Computing by

bigCover of the book Light-Based Therapies for Skin of Color by

bigCover of the book Cancer Chemotherapy: an Introduction by

bigCover of the book Ergodic Theory and Dynamical Systems by

bigCover of the book Microcomputers in Medicine by

bigCover of the book Multimodal Interactive Pattern Recognition and Applications by

bigCover of the book Introduction to Computational Social Science by

bigCover of the book Web Accessibility by

bigCover of the book Rural Electrification Through Decentralised Off-grid Systems in Developing Countries by

bigCover of the book A Proof Theory for Description Logics by

bigCover of the book Primary Health Care 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