Test Pattern Generation using Boolean Proof Engines
Autor Rolf Drechsler et al.
30 apr 2009
Hardback
Preț: 617.39 lei 726.35 lei
6-8 săpt.
-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ț: 255.59 lei 319.49 lei
Indisponibil temporar
-20%