Automated Technology for Verification and Analysis
Editat de Étienne André et al.
22 oct 2023
Paperback
Preț: 522.59 lei 653.24 lei
6-8 săpt.
-20%
Étienne André
Formal Modeling and Analysis of Timed Systems
Editat de Étienne André et al.
13 aug 2019
Paperback
Preț: 323.17 lei 403.96 lei
6-8 săpt.
-20%