Type reduction and program verification:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Jefferson, David R. (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Pittsburgh, Pa. 1980
Schriftenreihe:Carnegie-Mellon University <Pittsburgh, Pa.> / Computer Science Department: CMU-CS 118
Schlagworte:
Beschreibung:418 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!