Model Checking Software: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings
Editat de Alfons Laarman et al.
3 aug 2021
Paperback
Preț: 321.49 lei 401.87 lei
6-8 săpt.
-20%
Ana Sokolova
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Editat de Alexey Gotsman et al.
10 iun 2020
Paperback
Preț: 407.24 lei 509.05 lei
6-8 săpt.
-20%