Computer Aided Verification
Autor Hana Chockler et al.
7 oct 2020
Paperback
Preț: 352.62 lei 440.78 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ț: 329.75 lei 412.19 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ț: 324.89 lei 406.11 lei
6-8 săpt.
-20%