Formal Modeling and Analysis of Timed Systems
Editat de David N. Jansen et al.
26 aug 2018
Paperback
Preț: 322.16 lei 402.70 lei
6-8 săpt.
-20%
Cărți de Pavithra Prabhakar
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%