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 Analysis for Computer Scientists by

bigCover of the book Frontiers in Fusion Research by

bigCover of the book Proactive Intelligence by

bigCover of the book GSN - The Goal Structuring Notation by

bigCover of the book Modelling and Simulation by

bigCover of the book Evaluation of Cancer Screening by

bigCover of the book Finitely Generated Abelian Groups and Similarity of Matrices over a Field by

bigCover of the book Pediatric Surgery by

bigCover of the book Simulation-Based Algorithms for Markov Decision Processes by

bigCover of the book Conflict and Catastrophe Medicine by

bigCover of the book Guide to Voice and Video over IP by

bigCover of the book Security and Privacy in Biometrics by

bigCover of the book Congestion Control in Data Transmission Networks by

bigCover of the book Nonlinear Stochastic Systems with Incomplete Information 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