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

Description

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

Links & Downloads

1. http://elib.tu-darmstadt.de/diss/000110/hinrichsen.pdf
2. http://deposit.ddb.de/cgi-bin/dokserv?idn=962731447

Tags

Pipeline-Rechner

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76317976
Date	January 2000
Creators	Hinrichsen, Holger.
Publisher	[S.l. : s.n.],
Source Sets	OCLC
Language	German
Detected Language	German