Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Editat de Marsha Chechik et al.
3 mar 2023
Paperback
Preț: 638.44 lei 798.05 lei
6-8 săpt.
-20%
Cărți de Marsha Chechik
Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers
Editat de Sandrine Blazy et al.
8 noi 2016
Paperback
Preț: 315.93 lei 394.92 lei
6-8 săpt.
-20%