Hoppa till sidans huvudinnehåll

Anders P. Ravn - Böcker

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

Hybrid Systems

AvRobert L. Grossman,Anil Nerode m. fl.

Häftad, Engelska, 1993

689 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

709 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

709 kr

Skickas inom 10-15 vardagar