Decision Procedures
Autor Daniel Kroening et al.
27 ian 2017
Hardback
Preț: 516.35 lei 645.44 lei
6-8 săpt.
-20%
Cărți de Daniel Kroening
Validation of Evolving Software
Editat de Hana Chockler et al.
10 iul 2015
Hardback
Preț: 337.00 lei 421.25 lei
6-8 săpt.
-20%