PERRY N. FINLEY FOUNDATION |
Title | Abstraction and Specification in Program Development |
Author | Liskov and Guttag |
Subject | Computer Science |
Publisher | MIT Press |
Copyright Year | 1986 |
ISBN | 0-262-12112-3 |
LC Call Number | QA76.6.L5655 1986 |
LC Card Number | 85-23078 |