Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Autor Thomas Neele et al.
9 sep 2024
Paperback
Preț: 372.87 lei
6-8 săpt.
Cărți de Anton Wijs
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Editat de Paula Herber et al.
11 noi 2023
Paperback
Preț: 735.95 lei 919.93 lei
6-8 săpt.
-20%