Test Pattern Generation using Boolean Proof Engines - bib.howest.be

Test Pattern Generation using Boolean Proof Engines

Type:: e-book
Titel:: Test Pattern Generation using Boolean Proof Engines
Auteur:: Rolf Drechsler, Stephan Eggersglüβ, Görschwin Fey, Daniel Tille.; Drechsler, Rolf; Eggersglüß, Stephan; Fey, Görschwin; Tille, Daniel
Taal:: Engels
Uitgever:: Springer Netherlands 2009
ISBN:: 90-481-2359-3
90-481-8491-6
9786612236440
1-282-23644-X
90-481-2360-7
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000746258