Formal Modeling and Analysis of Timed Systems
Editat de Jean-Francois Raskin et al.
20 sep 2007
Paperback
Preț: 326.47 lei 408.09 lei
6-8 săpt.
-20%
Cărți de Jean-Francois Raskin
Automated Technology for Verification and Analysis
Editat de Franck Cassez et al.
29 sep 2014
Paperback
Preț: 330.15 lei 412.69 lei
6-8 săpt.
-20%