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 Explorations in Art and Technology by
bigCover of the book Health Information Systems by
bigCover of the book Orthopaedic Problems in Inherited Skeletal Disorders by
bigCover of the book Developing Multi-Database Mining Applications by
bigCover of the book Dementia in Clinical Practice: A Neurological Perspective by
bigCover of the book Comprehensive Approach to Adult Congenital Heart Disease by
bigCover of the book Optimal Control of Hybrid Vehicles by
bigCover of the book Cancer of the Testis by
bigCover of the book Osteoporosis in Clinical Practice by
bigCover of the book Sampled-Data Models for Linear and Nonlinear Systems by
bigCover of the book Ophthalmology by
bigCover of the book Smart Grids by
bigCover of the book Dynamic Programming for Impulse Feedback and Fast Controls by
bigCover of the book Simulation Training in Laparoscopy and Robotic Surgery by
bigCover of the book Case Studies in Systemic Sclerosis 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