Formula simplification in relation to program verification:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Ammeraal, Leendert (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam 1977
Schriftenreihe:Mathematisch Centrum <Amsterdam> / Afdeling Informatica: IW 85
Schlagworte:
Beschreibung:42 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!