Rajeev Alur
Beliebte Artikel von Rajeev Alur
Alle Angebote anzeigen-
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1102, Band 1102)
Henzinger, Thomas; Alur, Rajeev
Artikelpreise ab
3 Angebote anzeigenEUR 47,41
-
Principles of Cyber-Physical Systems (The MIT Press)
Alur, Rajeev
Artikelpreise ab
3 Angebote anzeigenEUR 93,06
Entdecken Sie auch
Neu -
Hybrid Systems III: Verification and Control (Lecture Notes in Computer Science, 1066, Band 1066)
Rajeev Alur; Thomas A. Henzinger; Eduardo D. Sontag
Artikelpreise ab
3 Angebote anzeigenEUR 116,65
-
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science, 3114, Band 3114)
Peled, Doron A.; Alur, Rajeev
Artikelpreise ab
4 Angebote anzeigenEUR 99,54
-
Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
Artikelpreise ab
1 Angebot anzeigenEUR 59,97
Entdecken Sie auch
Neu
