Automated Technology for Verification and Analysis
Editat de Kedar Namjoshi et al.
9 oct 2007
Paperback
Preț: 336.71 lei 420.88 lei
43-57 zile
-20%
Cărți de Kedar Namjoshi
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
Editat de Kedar Namjoshi et al.
10 feb 2011
Paperback
Preț: 314.67 lei 393.34 lei
43-57 zile
-20%