Model Checking
Autor Edmund M. Clark Jr. et al.
20 dec 2018
Hardback
Preț: 460.13 lei 575.17 lei
3-5 săpt. | 7-13 zile
-20%
Cărți de Daniel Kroening
Decision Procedures: An Algorithmic Point of View
Autor Daniel Kroening et al.
23 mai 2008
Hardback
Preț: 427.33 lei 534.17 lei
6-8 săpt.
-20%
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%
Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II
Editat de Daniel Kroening et al.
23 iul 2015
Paperback
Preț: 341.81 lei 427.26 lei
6-8 săpt.
-20%
Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
Editat de Dimitra Giannakopoulou et al.
28 oct 2014
Paperback
Preț: 332.57 lei 415.71 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
Editat de Sharon Barner et al.
17 mar 2011
Paperback
Preț: 328.09 lei 410.12 lei
6-8 săpt.
-20%