Formal Modeling and Analysis of Timed Systems
Editat de Laure Petrucci et al.
29 aug 2023
Paperback
Preț: 344.27 lei 430.34 lei
43-57 zile
-20%
Cărți de Laure Petrucci
Application and Theory of Petri Nets and Concurrency
Editat de Luca Bernardinello et al.
30 mai 2022
Paperback
Preț: 462.13 lei 577.66 lei
22-36 zile | 5-11 zile
-20%
Critical Systems: Formal Methods and Automated Verification
Editat de Laure Petrucci et al.
25 aug 2017
Paperback
Preț: 319.70 lei 399.63 lei
43-57 zile
-20%