Automated Reasoning Lecture Notes in Computer Science, nr. 14739 Editat de Christoph Benzmüller et al. 2 iul 2024 Paperback Preț: 295.84 lei 369.80 lei 38-45 zile -20%