Computation and reasoning : a type theory for computer science / Zhaohui Luo
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Reihen: Oxford science publications | International series of monographs on computer science ; 11Verlag: Oxford : Clarendon Press, 1994Beschreibung: XI, 228 SISBN:- 0198538359
- QA76
Inhalte:
Bearbeitungsvermerk: - 3
Medientyp | Heimatbibliothek | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
---|---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Inf. / Luo | Verfügbar | 36340581090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20200919 DE-640 3 pdager