search for books and compare prices
Anders P. Ravn has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Automated Technology for Verification and Analysis: 7th International Symposium, Atva 2009, Macao, China, October 14-16, 2009, Proceedings
cover image for 9783642047602
By Anders P. Ravn (editor)
See complete details on each edition (1 edition listed)

Paperback:

9783642047602 | 1 edition (Springer-Verlag New York Inc, October 1, 2009), cover price $129.00

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, Ftrtft '98, Lyngby, Denmaek, September 1998 : Proceedings
By Ftrtft 9 (other contributor), Anders P. Ravn and Hans Rischel
See complete details on each edition (1 edition listed)

Paperback:

9783540650034 | Springer Verlag, September 1, 1998, cover price $99.00

Hybrid Systems
cover image for 9783540573180
By Robert L. Grossman, Anil Nerode, Anders P. Ravn and Hans Rischel
See complete details on each edition (2 editions listed)

Paperback:

9783540573180 | Springer Verlag, April 1, 1998, cover price $99.00
9780387573182 | Springer Verlag, October 1, 1993, cover price $71.95

displaying 1 to 3 | at end