ENGLISH

Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)

By Robert Laurence Baber

Book information

Publisher
John Wiley & Sons Inc
Year
1991
ISBN
0471930164, 9780471930167
LCC
QA76.76.R44 B33 1991
Open Library ID
OL1534536M
Language
english
Format
PDF
Filesize
56 MB (59186959 bytes)
Pages
88\88
Orientation
no
Scanned
yes
Time added
2011-08-31 04:54:40

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