Constructing Correct Software

by John Cooke

No Customer Reviews

This text illustrates and explains the constructive approach to software development. The approach involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained. The text is accessible to anyone with a basic background knowledge of formal methods. It is intended for 3rd/4th year undergraduate and postgraduate and software developers in industry.

Format:Paperback

Language:English

ISBN:1852338202

ISBN13:9781852338206

Release Date:November 2004

Publisher:Springer

Length:509 Pages

Weight:1.65 lbs.

Dimensions:1.0" x 6.4" x 9.2"

Related Subjects

Computers Computers & Technology Education & Reference Languages & Tools Math Mathematics Methodology Programming Science & Math Software Software Design, Testing & Engineering Software Development Software Engineering

Customer Reviews

0 rating

Write a review

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Copyright © 2025 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ^® and the ThriftBooks ^® logo are registered trademarks of Thrift Books Global, LLC

Constructing Correct Software

Recommended

Customer Reviews

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

Follow Us