Anders P. Ravn - Böcker

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
Del 736 - Lecture Notes in Computer Science

Hybrid Systems

Av Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel

Häftad, Engelska, 1993

709 kr

Skickas inom 7-10 vardagar
Anders P. Ravn, Hans Rischel - Formal Techniques in Real-Time and Fault-Tolerant Systems, Häftad
Del 1486 - Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

Av Anders P. Ravn, Hans Rischel

Häftad, Engelska, 1998

729 kr

Skickas inom 7-10 vardagar
Zhiming Liu, Anders P. Ravn - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

Av Zhiming Liu, Anders P. Ravn

Häftad, Engelska, 2009

729 kr

Skickas inom 7-10 vardagar