Skip to content

Constructing Correct Software
Stock Photo: Cover May Be Different

Constructing Correct Software Paperback - 2004

by D. John Cooke

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.

Details

  • Title Constructing Correct Software
  • Author D. John Cooke
  • Binding Paperback
  • Edition 2nd
  • Pages 509
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2004-11-08
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index, Table of Contents
  • 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

More Copies for Sale

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

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

by Cooke, D. John

  • Used
Condition
Used - Good
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Quantity Available
1
Seller
Waltham Abbey, Essex, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$17.33
NZ$18.85 shipping to USA

Show Details

Description:
Springer. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Item Price
NZ$17.33
NZ$18.85 shipping to USA
Constructing Correct Software
Stock Photo: Cover May Be Different

Constructing Correct Software

by D. John Cooke

  • New
Condition
New
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Quantity Available
255
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$103.10
NZ$16.83 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Constructing Correct Software.
Item Price
NZ$103.10
NZ$16.83 shipping to USA
Constructing Correct Software
Stock Photo: Cover May Be Different

Constructing Correct Software

by Cooke, John

  • Used
Condition
Used - Very Good
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Quantity Available
1
Seller
Mishawaka, Indiana, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$82.10
FREE shipping to USA

Show Details

Description:
Springer London, Limited. Used - Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects.
Item Price
NZ$82.10
FREE shipping to USA
Constructing Correct Software
Stock Photo: Cover May Be Different

Constructing Correct Software

by John Cooke

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$126.63
NZ$20.95 shipping to USA

Show Details

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
Item Price
NZ$126.63
NZ$20.95 shipping to USA
Constructing Correct Software
Stock Photo: Cover May Be Different

Constructing Correct Software

by D. John Cooke

  • New
Condition
New
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$101.43
NZ$6.64 shipping to USA

Show Details

Description:
Springer , pp. 532 2nd Edition . Papeback. New.
Item Price
NZ$101.43
NZ$6.64 shipping to USA
CONSTRUCTING CORRECT SOFTWARE
Stock Photo: Cover May Be Different

CONSTRUCTING CORRECT SOFTWARE

by COOKE, JOHN ,

  • New
  • Paperback
Condition
New
Edition
2nd
Binding
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Quantity Available
2
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$124.88
NZ$16.65 shipping to USA

Show Details

Description:
Springer, 2005. 2nd. Paperback. New/New.
Item Price
NZ$124.88
NZ$16.65 shipping to USA
Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
Stock Photo: Cover May Be Different

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

by Cooke, D. John

  • Used
  • Good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Quantity Available
1
Seller
Newport Coast, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$131.19
FREE shipping to USA

Show Details

Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
NZ$131.19
FREE shipping to USA
Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
Stock Photo: Cover May Be Different

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

by Cooke, D. John

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$187.45
NZ$9.07 shipping to USA

Show Details

Description:
Springer. Paperback. New. New. In shrink wrap. Looks like an interesting title!
Item Price
NZ$187.45
NZ$9.07 shipping to USA
Constructing Correct Software,2/E (Pb)
Stock Photo: Cover May Be Different

Constructing Correct Software,2/E (Pb)

by Cooke J

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Quantity Available
500
Seller
New Delhi, Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$328.37
NZ$24.96 shipping to USA

Show Details

Description:
Springer, 2005. Paperback. New.
Item Price
NZ$328.37
NZ$24.96 shipping to USA
Constructing Correct Software,2/E (Pb)
Stock Photo: Cover May Be Different

Constructing Correct Software,2/E (Pb)

by Cooke J

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9781852338206 / 1852338202
Quantity Available
500
Seller
New Delhi, Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
NZ$328.37
NZ$24.96 shipping to USA

Show Details

Description:
Springer, 2005. Paperback. New.
Item Price
NZ$328.37
NZ$24.96 shipping to USA