Skip to content

Constructing Correct Software,2/E (Pb)
Stock Photo: Cover May Be Different

Constructing Correct Software,2/E (Pb) Paperback - 2005

by Cooke J

  • New
  • Paperback

Description

Springer, 2005. Paperback. New.
New
NZ$329.36
NZ$25.03 Shipping to USA
Standard delivery: 20 to 30 days
More Shipping Options
Ships from BookVistas (Delhi, India)

Details

  • Title Constructing Correct Software,2/E (Pb)
  • Author Cooke J
  • Binding Paperback
  • Edition 2nd
  • Condition New
  • Pages 509
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Date 2005
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index, Table of Contents
  • Bookseller's Inventory # Scientific-9781852338206
  • 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 BookVistas Delhi, India

Biblio member since 2011
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 shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

All books are new.

Additional shipping charges may be required for multi-volume sets.

Browse books from BookVistas

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.