Abstraction and Specification in Program Development |
|
Author:
| Liskov, Barbara Guttag, John V. |
Series title: | Electrical Engineering and Computer Science Ser. |
ISBN: | 978-0-262-12112-5 |
Publication Date: | Mar 1986 |
Publisher: | MIT Press
|
Book Format: | Hardback |
List Price: | USD $57.50 |
Book Description:
|
Abstraction and Specification in Program Development offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain.
Abstraction and Specification in Program Development offers professionals in program design and software engineering a methodology that will enable them to construct programs that are reliable and reasonably easy to understand, modify, and maintain.