Computer Aided Verification
Autor Hana Chockler et al.
7 oct 2020
Paperback
Preț: 358.63 lei 448.29 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ț: 335.36 lei 419.20 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ț: 330.42 lei 413.03 lei
6-8 săpt.
-20%