Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput 1991 2019

Filter
Dissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)
1992
23 Downloads (Pure)

Embedding hardware description languages in proof systems

Goossens, K. G. W., 1992, Edinburgh: University of Edinburgh. 296 blz.

Onderzoeksoutput: ScriptieDissertatie 4 (Onderzoek NIET TU/e / Promotie NIET TU/e)

Open Access
Bestand
Computer hardware description languages
Semantics
Hardware
Formal methods
Networks (circuits)