Hybrid Systems
Editat de Robert L. Grossman et al.
5 oct 1993
Paperback
Preț: 328.94 lei 411.17 lei
6-8 săpt.
-20%
Cărți de Anders P. Ravn
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Editat de Zhiming Liu et al.
29 sep 2009
Paperback
Preț: 328.16 lei 410.20 lei
6-8 săpt.
-20%
Formal Techniques in Real-Time and Fault-Tolerant Systems
Editat de Anders P. Ravn et al.
2 sep 1998
Paperback
Preț: 324.03 lei 405.04 lei
6-8 săpt.
-20%