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 Protein-protein Interactions and Networks by
bigCover of the book Alexia by
bigCover of the book Flow-Induced Pulsation and Vibration in Hydroelectric Machinery by
bigCover of the book Challenges and Solutions for Climate Change by
bigCover of the book Automatic Digital Document Processing and Management by
bigCover of the book Falling Liquid Films by
bigCover of the book Physical Layer Multi-Core Prototyping by
bigCover of the book General Principles of Orthopedics and Trauma by
bigCover of the book Principles of Data Mining by
bigCover of the book Syngas from Waste by
bigCover of the book Energy by
bigCover of the book Personality Capture and Emulation by
bigCover of the book Creating Shared Understanding in Product Development Teams by
bigCover of the book GIS to Support Cost-effective Decisions on Renewable Sources by
bigCover of the book New World Situation: New Directions in Concurrent Engineering 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