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 Disclosure of Security Vulnerabilities by
bigCover of the book Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming by
bigCover of the book Feedback Control by
bigCover of the book Markov Models for Pattern Recognition by
bigCover of the book Gamut Index of Skeletal Dysplasias by
bigCover of the book Nonlinear Power Flow Control Design by
bigCover of the book Dermatological Cryosurgery and Cryotherapy by
bigCover of the book Guide to Intelligent Data Analysis by
bigCover of the book Photophysics of Carbon Nanotubes Interfaced with Organic and Inorganic Materials by
bigCover of the book Distributed Multiple Description Coding by
bigCover of the book Handbook of Lasers in Dermatology by
bigCover of the book Planning and Implementing your Final Year Project — with Success! by
bigCover of the book Acute Phase Proteins in the Acute Phase Response by
bigCover of the book Knots and Primes by
bigCover of the book The NexStar User’s Guide 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