Decision Procedures: An Algorithmic Point of View
Autor Daniel Kroening et al.
23 mai 2008
Hardback
Preț: 410.97 lei 513.71 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%
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Editat de Ofer Strichman et al.
12 noi 2017
Paperback
Preț: 318.80 lei 398.50 lei
6-8 săpt.
-20%