Model Checking Software Lecture Notes in Computer Science, nr. 9641 Editat de Dragan Bo¿na¿ki et al. 8 apr 2016 Paperback Preț: 333.13 lei 416.42 lei 43-57 zile -20%