Formal Methods Teaching Lecture Notes in Computer Science, nr. 13122 Editat de João F. Ferreira et al. 21 noi 2021 Paperback Preț: 416.11 lei 6-8 săpt.