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:

Subject(s):

Genre/Form:

DDC classification:

RVK: RVK: ST 267Action note:

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