Computer Aided Verification
Autor Hana Chockler et al.
7 oct 2020
Paperback
Preț: 348.41 lei 435.52 lei
6-8 săpt.
-20%
Cărți de Hana Chockler
Validation of Evolving Software
Editat de Hana Chockler et al.
10 iul 2015
Hardback
Preț: 325.82 lei 407.27 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers
Editat de Hana Chockler et al.
22 apr 2009
Paperback
Preț: 321.02 lei 401.27 lei
6-8 săpt.
-20%