Anders P. Ravn – författare

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

3 produkter

Kategorier

3 produkter

Hybrid Systems
AvRobert L. Grossman,Anil Nerodem. fl.
Häftad, Engelska, 1993
729 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
AvAnders P. Ravn,Hans Rischel
Häftad, Engelska, 1998
749 kr
Skickas inom 10-15 vardagar
Automated Technology for Verification and Analysis
7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
AvZhiming Liu,Anders P. Ravn
Häftad, Engelska, 2009
749 kr
Skickas inom 10-15 vardagar