Abstraction & Specification in Program Development

by Barbara Liskov, John Guttag, John V. Guttag

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: 0070379963
• ISBN13: 9780070379961
• Release Date: January 1986
• Publisher: McGraw-Hill Companies
• Length: 512 Pages
• Weight: 0.45 lbs.