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
|
Utgitt | Dordrecht : Springer , c2005
|
---|---|
Omfang | X, 222 s. : ill.
|
Emner | |
ISBN | 0387254536. - 9780387254531
|