Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings
Editat de Carlo A. Furia et al.
9 aug 2018
Paperback
Preț: 326.42 lei 408.02 lei
43-57 zile
-20%
Programming and Software Engineering
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Editat de Julia M. Badger et al.
28 mai 2019
Paperback
Preț: 434.83 lei 543.54 lei
43-57 zile
-20%
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
Editat de Brijesh Dongol et al.
14 noi 2020
Paperback
Preț: 328.29 lei 410.37 lei
43-57 zile
-20%