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 Cardiac CT Imaging by
bigCover of the book Decommissioning Offshore Structures by
bigCover of the book Practical Nephrology by
bigCover of the book Video Text Detection by
bigCover of the book Atrial Fibrillation Therapy by
bigCover of the book Rapid Serial Visual Presentation by
bigCover of the book Rational Number Theory in the 20th Century by
bigCover of the book Image and Video-Based Artistic Stylisation by
bigCover of the book Endocrinology and Diabetes by
bigCover of the book Complex Analysis by
bigCover of the book The Minnesota Code Manual of Electrocardiographic Findings by
bigCover of the book The Hand and the Brain by
bigCover of the book Lasers in Cardiovascular Interventions by
bigCover of the book Middleware Solutions for the Internet of Things by
bigCover of the book Frontiers of Cord Blood Science 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