Model Checking Software Lecture Notes in Computer Science, nr. 12864 Editat de Alfons Laarman et al. 3 aug 2021 Paperback Preț: 330.14 lei 412.68 lei 6-8 săpt. -20%