OBJ as theorem prover with applications to hardware verification:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Goguen, Joseph 1941-2006 (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Menlo Park, Calif. 1988
Schriftenreihe:Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 88,4,18,2=88,4,R,2
Schlagworte:
Beschreibung:43 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!