Hardware and Software: Verification and Testing
Editat de Ofer Strichman et al.
12 noi 2017
Paperback
Preț: 320.93 lei 401.17 lei
6-8 săpt.
-20%
Cărți de Ofer Strichman
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Editat de Ofer Strichman et al.
30 iun 2010
Paperback
Preț: 326.55 lei 408.19 lei
3-5 săpt.
-20%
Efficient Decision Procedures for Validation
Autor Ofer Strichman
26 oct 2009
Paperback
Preț: 268.02 lei 335.02 lei
6-8 săpt.
-20%
Decision Procedures
Autor Daniel Kroening et al.
27 ian 2017
Hardback
Preț: 496.82 lei 621.03 lei
6-8 săpt.
-20%