Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Editat de Owolabi Legunsen et al.
23 aug 2022
Paperback
Preț: 614.52 lei 768.14 lei
6-8 săpt. | 7-13 zile
-20%
Cărți de Grigore Rosu
Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II
Editat de Dana Fisman et al.
30 mar 2022
Paperback
Preț: 255.01 lei 318.77 lei
3-5 săpt. | 7-13 zile
-20%