Skip to content

Constructing Correct Software
Stock Photo: Cover May Be Different

Constructing Correct Software Paperback / softback - 2004

by John Cooke

  • New
  • Paperback

Description

Paperback / softback. New. Links constructive software development to traditional problem-solving methods Not dependent on any particular specification language, but is based instead on their common core
New
NZ$126.63
NZ$20.95 Shipping to USA
Standard delivery: 14 to 21 days
More Shipping Options
Ships from The Saint Bookstore (Merseyside, United Kingdom)

Details

  • Title Constructing Correct Software
  • Author John Cooke
  • Binding Paperback / softback
  • Edition 2nd
  • Condition New
  • Pages 509
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2004-11-08
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index, Table of Contents
  • Bookseller's Inventory # B9781852338206
  • ISBN 9781852338206 / 1852338202
  • Weight 1.65 lbs (0.75 kg)
  • Dimensions 9.16 x 6.44 x 0.97 in (23.27 x 16.36 x 2.46 cm)
  • Library of Congress Catalog Number 2004050410
  • Dewey Decimal Code 005.1

About The Saint Bookstore Merseyside, United Kingdom

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

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Terms of Sale: Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Browse books from The Saint Bookstore

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.