Theory and Applications of Satisfiability Testing - SAT 2008 Editat de Hans Kleine Büning et al. 25 apr 2008 Paperback Preț: 322.40 lei 403.00 lei 6-8 săpt. -20%