Research Catalog
Abstraction and specification in program development
- Title
- Abstraction and specification in program development / Barbara Liskov and John Guttag.
- Author
- Liskov, B.
- Publication
- Cambridge, Mass. : MIT Press ; New York : McGraw-Hill, ©1986.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
Not available - Please for assistance. | Text | Use in library | QA76.6 .L5655 1986 | Off-site |
Details
- Additional Authors
- Guttag, John.
- Description
- xv, 469 pages : illustrations; 24 cm.
- Series Statement
- The MIT electrical engineering and computer science series
- Uniform Title
- MIT electrical engineering and computer science series.
- Subject
- Bibliography (note)
- Includes bibliographies and index.
- Contents
- Overview of CLU -- Procedural abstraction -- Data abstraction -- Exceptions -- Iteration abstraction -- Using Pascal -- More on specifications -- Testing and debugging -- Writing formal specifications -- Quick look at program verification -- Preamble to program design -- Design -- Between design and implementation -- Using other languages.
- ISBN
- 0262121123
- 9780262121125
- 0070379963
- 9780070379961
- LCCN
- 85023078
- OCLC
- ocm12668074
- 12668074
- SCSB-1156606
- Owning Institutions
- Princeton University Library