Rajeev Alur – författare
Visar alla böcker från författaren Rajeev Alur. Handla med fri frakt och snabb leverans.
7 produkter
7 produkter
1 449 kr
Skickas inom 5-8 vardagar
Embedded Software
Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings
Häftad, Engelska, 2003
719 kr
Skickas inom 10-15 vardagar
Hybrid Systems: Computation and Control
7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
Häftad, Engelska, 2004
1 429 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Häftad, Engelska, 2004
1 429 kr
Skickas inom 10-15 vardagar
1 429 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Häftad, Engelska, 1996
719 kr
Skickas inom 10-15 vardagar
859 kr
Tillfälligt slut