Automated Technology for Verification and Analysis Editat de Zhiming Liu et al. 29 sep 2009 Paperback Preț: 328.72 lei 410.89 lei 6-8 săpt. -20%
Hybrid Systems Editat de Robert L. Grossman et al. 5 oct 1993 Paperback Preț: 331.80 lei 414.75 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ț: 325.03 lei 406.29 lei 6-8 săpt. -20%