Decision Procedures
Autor Daniel Kroening et al.
13 iul 2018
Paperback
Preț: 339.28 lei 424.11 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ț: 337.00 lei 421.25 lei
6-8 săpt.
-20%