Custom cover image
Custom cover image

Abstraction and specification in program development / Barbara Liskov and John Guttag

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: The MIT electrical engineering and computer science seriesPublisher: Cambridge, Mass. [u.a.] : MIT Press [u.a.], 1986Description: XV, 469 S : graph. DarstISBN:
  • 0070379963
  • 0262121123
Subject(s): DDC classification:
  • 005.1/2
MSC: MSC: *68-01 | 68Q60 | 68N01RVK: RVK: ST 230Call number: Grundsignatur: 86 A 3950PPN: PPN: 02747612X
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 86 A 3950 Available 45486581090
Total holds: 0