Skip to content

Constructing Correct Software (Formal Approaches to Computing and Information
Stock Photo: Cover May Be Different

Constructing Correct Software (Formal Approaches to Computing and Information Technology,) Paperback - 2004

by Cooke, D. John

  • Used
  • Good
  • Paperback
Drop Ship Order

Description

paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Used - Good
NZ$131.58
FREE Shipping to USA Standard delivery: 7 to 14 days
More Shipping Options
Ships from Bonita (California, United States)

Details

About Bonita California, United States

Biblio member since 2020
Seller rating: This seller has earned a 5 of 5 Stars rating from Biblio customers.

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Bonita

From the publisher

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.

First line

It is an introduction to the science of writing programs, the engineering of software.