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

Baber, Robert L.

 
9780471930167: Error-Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
Hardcover
ISBN 10: 0471930164 ISBN 13: 9780471930167
Publisher: Wiley, 1991

Synopsis

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.

"synopsis" may belong to another edition of this title.

Language Notes

Text: English (translation)
Original Language: German

"About this title" may belong to another edition of this title.

Publisher
Wiley
Publication date
1991
Language
English
ISBN 10 
0471930164
ISBN 13 
9780471930167
Binding
Hardcover
Edition number
1
Number of pages
172