Ebook: Error Free Software: Know-how and Know-why of Program Correctness
Author: Robert Laurence Baber
- Genre: Computers // Programming
- Series: Wiley Series in Software Engineering Practice
- Year: 1991
- Publisher: John Wiley & Sons Inc
- Language: English
- pdf
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.
Download the book Error Free Software: Know-how and Know-why of Program Correctness for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)