Advanced BDD Optimization

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Ebendt, RΓΌdiger
Άλλοι συγγραφείς: Fey, GΓΆrschwin, Drechsler, Rolf
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Boston, MA Springer 2005
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/b107399