TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competition Lecture Notes in Computer Science, nr. 14550 Editat de Dirk Beyer et al. 21 sep 2024 Paperback Preț: 330.31 lei 412.89 lei 3-5 săpt. -20%
