Advanced BDD Optimization
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston, MA
Springer
2005
|
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/b107399 |
Search Result 1