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
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Details:
ISBN:
0471930164
ISBN-13:
9780471930167
Pages:
172
Publisher:
Wiley
Published:
1991
Language:
English
Alibris ID:
18021952815
Shipping Options:
Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hide Details ▴
Details:
ISBN:
0471930164
ISBN-13:
9780471930167
Pages:
172
Publisher:
Wiley
Published:
1991
Language:
English
Alibris ID:
18107766060
Shipping Options:
Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Hide Details ▴
Edition:
1991, Wiley
Hardcover,
New
Details:
ISBN:
0471930164
ISBN-13:
9780471930167
Pages:
172
Edition:
First Edition
Publisher:
Wiley
Published:
1991
Language:
English
Alibris ID:
18120101817
Shipping Options:
Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 0471930164. STORED NEW PRISTINE CONDITION SANITIZED THEN WRAPPED; Book.
Hide Details ▴
Edition:
1991, Wiley
Hardcover,
New
Details:
ISBN:
0471930164
ISBN-13:
9780471930167
Pages:
172
Edition:
First Edition
Publisher:
Wiley
Published:
1991
Language:
English
Alibris ID:
18120101500
Shipping Options:
Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. 0471930164. New perfect condition sanitized; Book.
Hide Details ▴
Edition:
1991, Wiley
Hardcover,
Good
Details:
ISBN:
0471930164
ISBN-13:
9780471930167
Pages:
172
Publisher:
Wiley
Published:
1991
Language:
English
Alibris ID:
18126360052
Shipping Options:
Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Hide Details ▴
Edition:
1991, Wiley
Hardcover,
New
Details:
ISBN:
0471930164
ISBN-13:
9780471930167
Pages:
172
Publisher:
Wiley
Published:
1991
Language:
English
Alibris ID:
18126360053
Shipping Options:
Standard Shipping: $4.70
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New.
Hide Details ▴
1991,
Wiley, Chichester, England
ISBN-13: 9780471930167
Hardcover