Theory and Applications of Satisfiability Testing - SAT 2017 Lecture Notes in Computer Science, nr. 10491 Editat de Serge Gaspers et al. 9 aug 2017 Paperback Preț: 345.28 lei 431.59 lei 6-8 săpt. -20%
