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%
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings Lecture Notes in Computer Science, nr. 11460 Editat de Julia M. Badger et al. 28 mai 2019 Paperback Preț: 434.83 lei 543.54 lei 6-8 săpt. -20%
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings Lecture Notes in Computer Science, nr. 12546 Editat de Brijesh Dongol et al. 14 noi 2020 Paperback Preț: 328.29 lei 410.37 lei 6-8 săpt. -20%