Modeling and Verification of Parallel Processes
Editat de Franck Cassez et al.
24 oct 2001
Paperback
Preț: 319.99 lei 399.99 lei
43-57 zile
-20%
Cărți de Franck Cassez
Formal Modeling and Analysis of Timed Systems
Editat de Franck Cassez et al.
5 sep 2008
Paperback
Preț: 335.69 lei 419.60 lei
43-57 zile
-20%
Automated Technology for Verification and Analysis
Editat de Franck Cassez et al.
29 sep 2014
Paperback
Preț: 330.15 lei 412.69 lei
43-57 zile
-20%