Model Checking Software Lecture Notes in Computer Science, nr. 9232 Editat de Bernd Fischer et al. 3 sep 2015 Paperback Preț: 324.22 lei 405.27 lei 6-8 săpt. -20%