Your price
Out of Stock

Error Free Software

Know How and Know Why of Program Correctness. Wiley Series in Software Engineering Practice

By (author) Robert L. Baber
Format: Hardback
Publisher: John Wiley and Sons Ltd, Chichester, United Kingdom
Imprint: John Wiley & Sons Ltd
Published: 24th Jun 1991
Dimensions: w 154mm h 236mm d 19mm
Weight: 440g
ISBN-10: 0471930164
ISBN-13: 9780471930167
Barcode No: 9780471930167
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.

New & Used

Seller Information Condition Price
Out of Stock

What Reviewers Are Saying

Be the first to review this item. Submit your review now