Runtime Verification Editat de Oleg Sokolsky et al. 12 dec 2007 Paperback Preț: 317.50 lei 396.88 lei 6-8 săpt. -20%
Runtime Verification Lecture Notes in Computer Science Editat de Shaz Qadeer et al. 11 ian 2013 Paperback Preț: 323.02 lei 403.77 lei 6-8 săpt. -20%
Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers Lecture Notes in Computer Science, nr. 14095 Editat de Andrew Reynolds et al. 5 sep 2024 Paperback Preț: 311.36 lei 389.19 lei 6-8 săpt. -20%
Computer Aided Verification Autor Serdar Tasiran et al. 7 oct 2020 Paperback Preț: 345.28 lei 431.59 lei 6-8 săpt. -20%