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
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%