Design and analysis of preconditions:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Lu, Hao (VerfasserIn)
Format: Buch
Sprache:Undetermined
Veröffentlicht: Nijmegen, the Netherlands 1993
Schriftenreihe:Katholieke Universiteit <Nijmegen> / Department of Mathematics: Report 9337
Beschreibung:24 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!