Model Checking Software Lecture Notes in Computer Science, nr. 11636 Editat de Fabrizio Biondi et al. 14 sep 2019 Paperback Preț: 320.72 lei 400.90 lei 6-8 săpt. -20%