Hoppa till sidans huvudinnehåll

Anders P. Ravn – författare

Visar alla böcker från författaren Anders P. Ravn.
3 produkter
Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel - Hybrid Systems, Häftad

Hybrid Systems

AvRobert L. Grossman,Anil Nerodem. fl.

Häftad, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar

Anders P. Ravn, Hans Rischel - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Anders P. Ravn - Automated Technology for Verification and Analysis, Häftad

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

729 kr

Skickas inom 10-15 vardagar