Return to search

Ein transformativer Ansatz für die Synthese und Verifikation algorithmischer Hardwarebeschreibungen

Darmstadt, Techn. Universiẗat, Diss., 2000.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76317976
Date January 2000
CreatorsHinrichsen, Holger.
Publisher[S.l. : s.n.],
Source SetsOCLC
LanguageGerman
Detected LanguageGerman

Page generated in 0.0017 seconds