Advanced BDD optimization


by Rüdiger Ebendt, Görschwin Fey and Rolf Drechsler
Bok Engelsk 2005
Utgitt
Dordrecht : Springer , c2005
Omfang
X, 222 s. : ill.
Emner
ISBN
0387254536. - 9780387254531

Bibliotek som har denne