Decision Procedures
Autor Daniel Kroening et al.
27 ian 2017
Hardback
Preț: 516.35 lei 645.44 lei
43-57 zile
-20%
Cărți de Daniel Kroening
Hardware and Software: Verification and Testing
Editat de Sharon Barner et al.
17 mar 2011
Paperback
Preț: 317.47 lei 396.84 lei
43-57 zile
-20%