Skip to content

CONSTRUCTING CORRECT SOFTWARE
Stock Photo: Cover May Be Different

CONSTRUCTING CORRECT SOFTWARE Paperback - 2005

by COOKE, JOHN ,

  • New
  • Paperback

Description

Springer, 2005. 2nd. Paperback. New/New.
New
NZ$124.88
NZ$16.65 Shipping to USA
Standard delivery: 7 to 12 days
More Shipping Options
Ships from DELHI BOOK STORE (India)

Details

  • Title CONSTRUCTING CORRECT SOFTWARE
  • Author COOKE, JOHN ,
  • 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 # AME_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 DELHI BOOK STORE India

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

Our prime concern is to make books available with its extensive choices of titles on all subjects for medicine, engineers, technocrats, corporates, scientists, academics, students, scholars and many more at attractive price range.

Terms of Sale: BOOKS CAN BE RETURNED IF IT IS UNOPENED OR SHRINK WRAP IS NOT BROKEN.

Browse books from DELHI BOOK STORE

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.