Decision Procedures: An Algorithmic Point of View
Autor Daniel Kroening et al.
23 mai 2008
Hardback
Preț: 410.97 lei 513.71 lei
43-57 zile
-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
43-57 zile
-20%
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%
Validation of Evolving Software
Editat de Hana Chockler et al.
17 oct 2016
Paperback
Preț: 316.59 lei 395.75 lei
43-57 zile
-20%