Post-Silicon and Runtime Verification for Modern Processors Autor Ilya Wagner et al. 3 dec 2010 Hardback Preț: 904.65 lei 1103.23 lei 43-57 zile -18%
Scalable Hardware Verification with Symbolic Simulation Autor Valeria Bertacco 21 dec 2005 Hardback Preț: 614.95 lei 723.48 lei 43-57 zile -15%
Hardware and Software: Verification and Testing Lecture Notes in Computer Science, nr. 8244 Editat de Valeria Bertacco et al. 31 oct 2013 Paperback Preț: 326.68 lei 408.36 lei 43-57 zile -20%