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 Pelvic Floor Re-education by
bigCover of the book Graph-Based Clustering and Data Visualization Algorithms by
bigCover of the book Combinatorial Set Theory by
bigCover of the book Closing the Gap by
bigCover of the book Supporting People with Dementia Using Pervasive Health Technologies by
bigCover of the book An Introduction to Object Recognition by
bigCover of the book Pathology of the Vulva and Vagina by
bigCover of the book Engineering Asset Management 2011 by
bigCover of the book Management of Heart Failure by
bigCover of the book Bone and Cancer by
bigCover of the book Neurorehabilitation Technology by
bigCover of the book Selected References in Elective Orthopaedics by
bigCover of the book Translational Research Methods for Diabetes, Obesity and Cardiometabolic Drug Development by
bigCover of the book Ankylosing spondylitis and Klebsiella by
bigCover of the book High-Performance Scientific Computing 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