FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
Editat de John Fitzgerald et al.
8 noi 2016
Paperback
Preț: 344.30 lei 430.38 lei
6-8 săpt.
-20%
Programming and Software Engineering
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
6-8 săpt.
-20%
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
6-8 săpt.
-20%
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Editat de Maurice H. ter Beek et al.
15 sep 2019
Paperback
Preț: 343.53 lei 429.41 lei
6-8 săpt.
-20%
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Editat de Wolfgang Ahrendt et al.
15 noi 2019
Paperback
Preț: 332.92 lei 416.15 lei
6-8 săpt.
-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
6-8 săpt.
-20%