Theory and Applications of Satisfiability Testing - SAT 2014 Lecture Notes in Computer Science, nr. 8561 Editat de Carsten Sinz et al. 4 aug 2014 Paperback Preț: 331.16 lei 413.95 lei 6-8 săpt. -20%
