Abstraction and Specification in Program Development

MIT Electrical Engineering and Computer Science

Abstraction and Specification in Program Development

by Barbara Liskov and John V. Guttag

450 pp., 6 x 9 in,

  • Hardcover
  • 9780262121125
  • Published: March 31, 1986
  • Publisher: The MIT Press

$57.50

Out of print

Other Retailers:

Related Books

Automata Theory
Probabilistic Machine Learning
Essentials of Compilation
Computability and Complexity
The Computer Music Tutorial
Physically Based Rendering
The Developmental Organization of Robot Behavior
Essentials of Compilation
Computing and Technology Ethics
Introduction to Autonomous Robots