Proving operating systems correct / by Richard Alan Karp
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
- 001.64/2 19
- 2
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