» Binary Decision Diagrams: Theory and Implementations
	Verlag:		Kluwer Academic Publisher
	Autor:		Rolf Drechsler, Bernd Becker
	Format:		Hardcover
	Erscheinungsjahr:		1998

Beschreibung: