📖 Abstraction and specification in program development

Author

Barbara Liskov

First published

1986

Editions in the catalogue

2

Catalogue id

OL8021445W

This is a library's record of the work, not a copy of it: everything above is what the Open Library entry states, and the numbers are the catalogue's own. No book text is reproduced here, and the cover, when one appears, is linked from the Internet Archive's own image service rather than copied onto this site.

Copies the catalogue knows about

A link to archive.org means the Internet Archive holds that scan or edition. Whether you can read it in full, borrow it, or only view its contents depends on their licensing and on where you are — the page will tell you when you get there.

What the catalogue tags it with

Electronic Digital ComputersProgrammingSoftwarespezifikationProgrammationProgrammierungProgrammation (Informatique)SoftwareentwicklungComputer ProgrammingOrdinateursProgrammatuurtechniek

On our lists

This work appears on Softwareentwicklung.

Metadata from Open Library (CC0) · retrieved 24 Oct 2026 UTC.