Abstraction and Specification in Program Development

by Barbara Liskov, John Guttag, John V. Guttag

Book Overview

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. Good programming involves the systematic mastery of complexity, and this book provides the first unified treatment of the techniques of abstraction and specification, which, the authors argue, are the...

• Format: Hardcover
• Language: English
• ISBN: 0262121123
• ISBN13: 9780262121125
• Release Date: January 1986
• Publisher: MIT Press (MA)
• Length: 469 Pages
• Weight: 2.15 lbs.