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
Verified Software: Theories, Tools and Experiments
Editat de Dimitra Giannakopoulou et al.
28 oct 2014
Paperback
Preț: 322.16 lei 402.70 lei
6-8 săpt.
-20%
Hardware and Software: Verification and Testing
Editat de Sharon Barner et al.
17 mar 2011
Paperback
Preț: 317.47 lei 396.84 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%