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

By Robert Laurence Baber

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.

• Format: Hardcover
• Language: English
• ISBN: 0471930164
• ISBN13: 9780471930167
• Release Date: August 1991
• Publisher: Wiley
• Length: 172 Pages
• Weight: 0.95 lbs.
• Dimensions: 9.3" x 0.8" x 6.1"