Decision Procedures: An Algorithmic Point of View
Autor Daniel Kroening et al.
23 mai 2008
Hardback
Preț: 428.75 lei 535.93 lei
22-36 zile
-20%
Cărți de Ofer Strichman
Efficient Decision Procedures for Validation
Autor Ofer Strichman
26 oct 2009
Paperback
Preț: 268.02 lei 335.02 lei
43-57 zile
-20%
Hardware and Software: Verification and Testing
Editat de Ofer Strichman et al.
12 noi 2017
Paperback
Preț: 333.74 lei 417.18 lei
43-57 zile
-20%