Theory and Applications of Satisfiability Testing - SAT 2008 Editat de Hans Kleine Büning et al. 25 apr 2008 Paperback Preț: 336.31 lei 420.38 lei 43-57 zile -20%