Skip to content

Error-Free Software: Know-How and Know-Why of Program Correctness
Stock Photo: Cover May Be Different

Error-Free Software: Know-How and Know-Why of Program Correctness Hardcover - 1991 - 1st Edition

by Robert L. Baber


From the publisher

Demonstrates how formal mathematical methods of proving correctness can help decrease the incidence of design errors (bugs'') in software development. While all the techniques described here have a rigorous mathematical foundation, it is omitted in favor of emphasizing practical applications.

Details

  • Title Error-Free Software: Know-How and Know-Why of Program Correctness
  • Author Robert L. Baber
  • Binding Hardcover
  • Edition number 1st
  • Edition 1
  • Pages 172
  • Volumes 1
  • Language ENG
  • Publisher Wiley
  • Date 1991-08
  • ISBN 9780471930167 / 0471930164
  • Weight 0.95 lbs (0.43 kg)
  • Dimensions 9.25 x 6.09 x 0.74 in (23.50 x 15.47 x 1.88 cm)
  • Library of Congress subjects Computer software - Development, Computer software - Reliability
  • Library of Congress Catalog Number 91-12380
  • Dewey Decimal Code 005
Back to Top

More Copies for Sale

Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software...
Stock Photo: Cover May Be Different

Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

by Baber, Robert L.

  • New
  • Hardcover
  • first
Condition
New
Edition
1st Edition.
Binding
Hardcover
ISBN 10 / ISBN 13
9780471930167 / 0471930164
Quantity Available
1
Seller
Highland Park, Illinois, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$40.00
$3.00 shipping to USA

Show Details

Description:
Wiley, 1991. 1st Edition. . Hardcover. New. STORED NEW PRISTINE CONDITION SANITIZED THEN WRAPPED
Item Price
$40.00
$3.00 shipping to USA
Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software...
Stock Photo: Cover May Be Different

Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

by Baber, Robert L.

  • New
  • Hardcover
  • first
Condition
New
Edition
1st Edition.
Binding
Hardcover
ISBN 10 / ISBN 13
9780471930167 / 0471930164
Quantity Available
1
Seller
Highland Park, Illinois, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$49.00
$3.00 shipping to USA

Show Details

Description:
Wiley, 1991. 1st Edition. . Hardcover. New. New perfect condition sanitized
Item Price
$49.00
$3.00 shipping to USA