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%
Programming and Software Engineering
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%
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Editat de Ritchie Lee et al.
9 aug 2020
Paperback
Preț: 464.56 lei 580.70 lei
6-8 săpt.
-20%
Performance Evaluation and Benchmarking for the Era of Cloud(s): 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers
Editat de Raghunath Nambiar et al.
30 iul 2020
Paperback
Preț: 314.22 lei 392.77 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%
From Data to Models and Back: 9th International Symposium, DataMod 2020, Virtual Event, October 20, 2020, Revised Selected Papers
Editat de Juliana Bowles et al.
5 mar 2021
Paperback
Preț: 371.74 lei 464.68 lei
6-8 săpt.
-20%
Runtime Verification: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings
Editat de Lu Feng et al.
6 oct 2021
Paperback
Preț: 486.04 lei 607.55 lei
6-8 săpt.
-20%
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Editat de Marieke Huisman et al.
10 noi 2021
Paperback
Preț: 699.94 lei 874.94 lei
6-8 săpt.
-20%