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ț: 341^.15 lei 426^.44 lei

6-8 săpt.

-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ț: 335^.36 lei 419^.20 lei

6-8 săpt.

-20%

Hybrid Systems

Lecture Notes in Computer Science, nr. 736

Editat de Robert L. Grossman et al.

5 oct 1993

Preț: 341^.95 lei 427^.44 lei

6-8 săpt.

-20%