Anders P. Ravn - Böcker

Visar alla böcker från författaren Anders P. Ravn.

3 produkter

Kategorier

3 produkter

Hybrid Systems

Av Robert L. Grossman, Anil Nerode m. fl

Häftad, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar

Formal Techniques in Real-Time and Fault-Tolerant Systems

5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings

Av Anders P. Ravn, Hans Rischel

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Av Zhiming Liu, Anders P. Ravn

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar