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