rajeev alur

Grid   List

  1. Principles of Cyber-Physical Systems
    Principles of Cyber-Physical Systems
    Rajeev Alur
    MIT Press
    Ebook
    Sofort lieferbar
    A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasing...
    80,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Computer Aided Verification
    Computer Aided Verification
    Rajeev Alur
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Computer Aided Verification
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Embedded Software
    Embedded Software
    Rajeev Alur
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Rajeev Alur
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid s...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Embedded Software
    Embedded Software
    Rajeev Alur
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.The 20 revised full p...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Computer Aided Verification
    Computer Aided Verification
    Thomas Henzinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July August 1996 as part of the FLoC '...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    George Pappas
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid s...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Hybrid Systems III
    Hybrid Systems III
    Rajeev Alur
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. br...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Computer Aided Verification
    Computer Aided Verification
    Doron A. Peled
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Boston,Massachusetts,USA, July13 17,2004.CAV 2004 was the 16th in a series of conferences dedicated to t...
    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Principles of Cyber-Physical Systems
    Principles of Cyber-Physical Systems
    Rajeev Alur
    MIT Press
    Taschenbuch
    Bezug 11-15
    A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.
    92,40 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>