AI Verification Lecture Notes in Computer Science, nr. 14846 Editat de Guy Avni et al. 17 iul 2024 Paperback Preț: 847.44 lei 1059.31 lei 38-44 zile -20%
Model Checking Software Lecture Notes in Computer Science, nr. 13872 Editat de Georgiana Caltais et al. 2 mai 2023 Paperback Preț: 403.00 lei 6-8 săpt.