Formal Methods for Industrial Critical Systems
Editat de Alessandro Cimatti et al.
17 sep 2023
Paperback
Preț: 401.78 lei 502.22 lei
6-8 săpt.
-20%
Laura Titolo
Logic-Based Program Synthesis and Transformation
Editat de Santiago Escobar et al.
13 sep 2025
Paperback
Preț: 354.91 lei 443.64 lei
Indisponibil temporar
-20%
NASA Formal Methods: 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings
Editat de Aaron Dutle et al.
17 mai 2021
Paperback
Preț: 571.69 lei 714.62 lei
6-8 săpt.
-20%