Integrated Formal Methods
Editat de Nikolai Kosmatov et al.
13 noi 2024
Paperback
Preț: 835.65 lei 1044.57 lei
38-44 zile
-20%
Laura Kovács
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Bernd Finkbeiner et al.
5 apr 2024
Paperback
Preț: 299.36 lei 374.19 lei
43-57 zile
-20%
Tests and Proofs
Editat de Laura Kovács et al.
22 iun 2022
Paperback
Preț: 365.55 lei
43-57 zile