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%