ENGLISH

Error Free Software: Know-how and Know-why of Program Correctness

By Robert Laurence Baber

Book information

Publisher
John Wiley & Sons Inc
Year
1991
ISBN
9780471930167, 0471930164
LCC
QA76.76.R44 B33 1991
Open Library ID
OL1534536M
Language
english
Format
PDF
Filesize
56 MB (59204385 bytes)
Series
Wiley Series in Software Engineering Practice
Pages
88\88
Library
mexmat
Time added
2009-07-20 03:45:11

Description

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.

Similar books