Title:
PFORTE : Erweiterungen des PFORT-Verifiers : Stand Juni 1980; TR 440 (BS3, MV19); Siemens (BS200, V5.0)
Author:
Appelt, Rainer
Contributer:
Schulz, Uwe
,
Grossrechenzentrum für die Wissenschaft in Berlin
Publisher:
Berlin :Großrechenzentrum für die Wissenschaft,
Year of publication:
1980
Pages:
42 S.
Type of Medium:
Book
Language:
German
Permalink