Test Pattern Generation using Boolean Proof Engines
Autor Rolf Drechsler et al.
30 apr 2009
Hardback
Preț: 629.19 lei 740.23 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ț: 236.23 lei 295.29 lei
Indisponibil temporar
-20%