TOOLympics Challenge 2023 Lecture Notes in Computer Science, nr. 14550 Editat de Dirk Beyer et al. noi 2024 Paperback Preț: 316.48 lei 395.60 lei 3-5 săpt. -20%
Model Checking Software Editat de Vincenzo Ciancia et al. 24 feb 2027 Paperback Preț: 381.23 lei 476.53 lei Nepublicat încă -20% Precomandă