Theory and Applications of Satisfiability Testing - SAT 2009 Editat de Oliver Kullmann 19 iun 2009 Paperback Preț: 348.66 lei 435.83 lei 43-57 zile -20%