Communiqués par Rajeev Alur

Tous les3
Book1
Paperback Book2

En stock chez iMusic Montrer les articles indisponibles

Cover for Rajeev Alur · Principles of Cyber-Physical Systems (Book) (2023)

Principles of Cyber-Physical Sys... (2023)

Cover for Rajeev Alur · Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)

Computer Aided Verification: 16t... (2004)

Cover for Rajeev Alur · Hybrid Systems: Verification and Control - Lecture Notes in Computer Science (Paperback Book) (1996)

Hybrid Systems: Verification and... (1996)