Cărți de Hana Chockler

Computer Aided Verification

Autor Hana Chockler et al.

7 oct 2020

Preț: 358^.63 lei 448^.29 lei

6-8 săpt.

-20%

Validation of Evolving Software

Editat de Hana Chockler et al.

10 iul 2015

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

Lecture Notes in Computer Science, nr. 5394

Editat de Hana Chockler et al.

22 apr 2009

Preț: 330^.42 lei 413^.03 lei

6-8 săpt.

-20%