Hardware verification by formal proof

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Gordon, Mike (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cambridge Univ. of Cambridge, Computer Laboratory 1985
Schriftenreihe:Technical report / Computer Laboratory, University of Cambridge 74
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!