Test Pattern Generation using Boolean Proof Engines
Autor Rolf Drechsler et al.
30 apr 2009
Hardback
Preț: 617.90 lei 726.95 lei
43-57 zile
-15%
Cărți de Daniel Tille
Advanced Utilization of Formal Methods in Automatic Test Pattern Generation for Industrial Designs
Autor Daniel Tille
30 noi 2011
Paperback
Preț: 236.23 lei 295.29 lei
Indisponibil temporar
-20%