Custom cover image
Custom cover image

Proving operating systems correct / by Richard Alan Karp

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Computer science / Systems programming ; 16Publisher: Ann Arbor, Mich. : UMI Research Press, c 1983Description: VIII, 161 SISBN:
  • 0835713652
Subject(s): Genre/Form: DDC classification:
  • 001.64/2 19
RVK: RVK: ST 267Action note:
  • 2
Dissertation note: Teilw. zugl.: Stanford, Univ., Diss., 1980 Call number: Grundsignatur: 84 A 2143PPN: PPN: 014908328
Holdings
Item type Home library Shelving location Call number Status Date due Barcode Item holds
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 84 A 2143 Available 15085913
Total holds: 0

Archivierung prüfen 20200919 DE-640 2 pdager

Powered by Koha