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