» Formal Verification of Circuits
	Verlag:		Kluwer Academic Publishers
	Autor:		Rolf Drechsler
	Format:		Hardcover
	Erscheinungsjahr:		2000

Beschreibung: