The PFORT verifier:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Ryder, B. G. (VerfasserIn), Hall, Andrew D. (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Murray Hill, New Jersey Bell Laboratories 1975
Ausgabe:Rev.
Schriftenreihe:Computing science technical report 12,2

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!