Abstraction and specification in program development

Author(s)

• Liskov, B.
• Guttag, John

Bibliographic Information

Abstraction and specification in program development

Barbara Liskov and John Guttag

（The MIT electrical engineering and computer science series）

MIT Press , McGraw-Hill, c1986

• : MIT Press
• : McGraw-Hill

Note

Includes index

Details

• NCID: BA00079365
• ISBN:
  • 0262121123
  • 0070379963
• LCCN: 85023078
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Mass.,New York
• Pages/Volumes: xv, 469 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC19 : 005.1/2
• Subject Headings:
  • LCSH : Electronic digital computers -- Programming
• Parent Bibliography ID:
  • BA00008844