Integrated Formal Methods
Editat de Nikolai Kosmatov et al.
13 noi 2024
Paperback
Preț: 835.03 lei 1043.79 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
6-8 săpt.
-20%
Tests and Proofs
Editat de Laura Kovács et al.
22 iun 2022
Paperback
Preț: 365.55 lei
6-8 săpt.