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%
Programming and Software Engineering
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Editat de Simon Collart-Dutilleul et al.
24 apr 2019
Paperback
Preț: 376.87 lei 471.08 lei
6-8 săpt.
-20%
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Editat de Klaus Havelund et al.
12 iul 2018
Paperback
Preț: 585.31 lei 731.65 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%
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%