Decision Procedures
Autor Daniel Kroening et al.
27 ian 2017
Hardback
Preț: 496.82 lei 621.03 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ț: 324.30 lei 405.37 lei
6-8 săpt.
-20%