Formal Modeling and Analysis of Timed Systems
Editat de Jean-Francois Raskin et al.
20 sep 2007
Paperback
Preț: 325.47 lei 406.84 lei
6-8 săpt.
-20%
Cărți de Jean-Francois Raskin
Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
Editat de Franck Cassez et al.
29 sep 2014
Paperback
Preț: 327.36 lei 409.20 lei
6-8 săpt.
-20%