Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Thomas Henzinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    17.07.1996

    This book constitutes the refereed proceedings of the 8th International Conference on Computer Ai...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Hybrid Systems: Computation and Control Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    George Pappas
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    12.03.2004

    This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Contr...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Embedded Software Embedded Software

    Embedded Software

    Rajeev Alur
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    29.09.2003

    This book constitutes the refereed proceedings of the Third International Conference on Embedded ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Hybrid Systems III Hybrid Systems III

    Hybrid Systems III

    Rajeev Alur
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    24.04.1996

    This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Doron A. Peled
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    29.06.2004

    ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe- ?cation, CAV 2004,held in Bost...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Principles of Cyber-Physical Systems Principles of Cyber-Physical Systems

    Principles of Cyber-Physical Systems

    Rajeev Alur
    MIT Press
    15.08.2023

    A foundational text that offers a rigorous introduction to the principles of design, specificatio...

    Taschenbuch
    75,50 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Principles of Cyber-Physical Systems Principles of Cyber-Physical Systems

    Principles of Cyber-Physical Systems

    Rajeev Alur
    MIT Press Ltd
    10.04.2015

    A foundational text that offers a rigorous introduction to the principles of design, specificatio...

    Gebunden
    89,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1