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

Lecture Notes in Computer Science, nr. 5799

Editat de Zhiming Liu et al.

29 sep 2009

Preț: 334^.30 lei 417^.87 lei

43-57 zile

-20%

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

Lecture Notes in Computer Science, nr. 1486

Editat de Anders P. Ravn et al.

2 sep 1998

Preț: 328^.63 lei 410^.78 lei

43-57 zile

-20%

Hybrid Systems

Lecture Notes in Computer Science, nr. 736

Editat de Robert L. Grossman et al.

5 oct 1993

Preț: 335^.08 lei 418^.85 lei

43-57 zile

-20%