Decision Procedures: An Algorithmic Point of View
Autor Daniel Kroening et al.
23 mai 2008
Hardback
Preț: 410.97 lei 513.71 lei
6-8 săpt.
-20%
Cărți de Daniel Kroening
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ț: 315.62 lei 394.52 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ț: 319.92 lei 399.90 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ț: 328.79 lei 410.99 lei
6-8 săpt.
-20%
Validation of Evolving Software
Editat de Hana Chockler et al.
10 iul 2015
Hardback
Preț: 322.61 lei 403.26 lei
6-8 săpt.
-20%