Formal Modeling and Analysis of Timed Systems
Editat de Sergiy Bogomolov et al.
29 aug 2022
Paperback
Preț: 350.83 lei 438.53 lei
6-8 săpt.
-20%
Cărți de Sergiy Bogomolov
Numerical Software Verification: 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Editat de Sergiy Bogomolov et al.
17 feb 2017
Paperback
Preț: 311.18 lei 388.98 lei
6-8 săpt.
-20%