Handbook of Model Checking Editat de Roderick Bloem et al. 8 iun 2018 Hardback Preț: 1011.51 lei 1264.39 lei 17-23 zile | 6-10 zile -20%
Software Verification Lecture Notes in Computer Science, nr. 13124 Editat de Roderick Bloem et al. 22 feb 2022 Paperback Preț: 345.11 lei 431.39 lei 6-8 săpt. -20%
Trusted Systems Lecture Notes in Computer Science, nr. 8292 Editat de Roderick Bloem et al. 11 noi 2013 Paperback Preț: 312.73 lei 390.91 lei 6-8 săpt. -20%