Cart
Free US shipping over $10
Proud to be B-Corp

Error Free Software Robert L. Baber

Error Free Software By Robert L. Baber

Error Free Software by Robert L. Baber


$12.69
Condition - Very Good
Only 1 left

Summary

An introduction to the creation and development of software, which explores the theory and potential of formal methods, and demonstrates certain advantages to be gained by using various techniques. The book is designed for self-study and assumes a basic knowledge of algebra and programming.

Error Free Software Summary

Error Free Software: Know How and Know Why of Program Correctness by Robert L. Baber

Pressure to produce good quality software within budget leaves little scope to explore the theory and potential of formal development methods. This introduction to the creation and development of software aims to demonstrate various advantages to be gained by using certain techniques. All techniques described are based on mathematical foundations, and a basic knowledge of algebra and programming is assumed. The book is designed as a self-study text, and contains many examples and exercises.

Additional information

GOR001932826
9780471930167
0471930164
Error Free Software: Know How and Know Why of Program Correctness by Robert L. Baber
Used - Very Good
Hardback
John Wiley and Sons Ltd
1991-06-24
172
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us

Customer Reviews - Error Free Software