High Quality Test Pattern Generation and Boolean Satisfiability Autor Stephan Eggersglüß et al. 31 ian 2012 Hardback Preț: 617.72 lei 726.72 lei 43-57 zile -15%
Test Pattern Generation using Boolean Proof Engines Autor Rolf Drechsler et al. 30 apr 2009 Hardback Preț: 617.39 lei 726.35 lei 43-57 zile -15%