Integrated Formal Methods
Editat de Nikolai Kosmatov et al.
13 noi 2024
Paperback
Preț: 926.89 lei 1158.62 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ț: 300.27 lei 375.34 lei
6-8 săpt.
-20%
Reachability Problems
Editat de Laura Kovács et al.
20 sep 2024
Paperback
Preț: 430.52 lei 538.16 lei
38-44 zile
-20%
Tests and Proofs
Editat de Laura Kovács et al.
22 iun 2022
Paperback
Preț: 366.64 lei
6-8 săpt.