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.
Read More
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.
Read Less
Add this copy of Error-Free Software: Know-How and Know-Why of Program to cart. $36.32, good condition, Sold by ThriftBooks-Atlanta rated 5.0 out of 5 stars, ships from Austell, GA, UNITED STATES, published 1991 by Wiley.
Add this copy of Error-Free Software: Know-How and Know-Why of Program to cart. $39.82, new condition, Sold by Chidoc5 Rare Books rated 4.0 out of 5 stars, ships from Highland Park, IL, UNITED STATES, published 1991 by Wiley.
Add this copy of Error-Free Software: Know-How and Know-Why of Program to cart. $87.32, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1991 by Wiley.
