Rajeev Alur U A (4 results)

Author

Refine your search

  • Books (4)

  • New (4)

to

Custom price range (£)

to

    • More images

      Language: English

      Published by Springer, 2004

      3540212590 / 9783540212591

      • Softcover

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      £ 83.39

      £ 59.50 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Hybrid Systems: Computation and Control | 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings | Rajeev Alur (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540212591 | Verantwortliche Person für die EU: Springer Nature

    • More images

      Language: English

      Published by Springer, 1996

      3540614745 / 9783540614746

      • Softcover
      • Print on Demand

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      £ 43.99

      £ 59.50 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Computer Aided Verification | 8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings | Rajeev Alur (u. a.) | Taschenbuch | xiii | Englisch | 1996 | Springer | EAN 9783540614746 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17,

    • Language: English

      Published by Springer, 2004

      3540223428 / 9783540223429

      • Softcover
      • Print on Demand

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      £ 83.78

      £ 59.50 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Computer Aided Verification | 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings | Rajeev Alur (u. a.) | Taschenbuch | xii | Englisch | 2004 | Springer | EAN 9783540223429 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelbe

    • More images

      Language: English

      Published by Springer, 1996

      354061155X / 9783540611554

      • Softcover
      • Print on Demand

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      £ 83.78

      £ 59.50 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: Neu. Hybrid Systems III | Verification and Control | Rajeev Alur (u. a.) | Taschenbuch | ix | Englisch | 1996 | Springer | EAN 9783540611554 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on