Theory and Applications of Satisfiability Testing - SAT 2009 Editat de Oliver Kullmann 19 iun 2009 Paperback Preț: 335.26 lei 419.08 lei 6-8 săpt. -20%