Tests and Proofs Lecture Notes in Computer Science, nr. 9762 Editat de Bernhard K. Aichernig et al. 21 iun 2016 Paperback Preț: 317.84 lei 397.30 lei 6-8 săpt. -20%
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings Lecture Notes in Computer Science, nr. 11023 Editat de Carlo A. Furia et al. 9 aug 2018 Paperback Preț: 326.42 lei 408.02 lei 6-8 săpt. -20%
Modeling Time in Computing Autor Carlo A. Furia et al. 9 noi 2014 Paperback Preț: 289.47 lei 361.83 lei Indisponibil temporar -20%