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:

Subject(s):

DDC classification:

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