Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. The Temporal Logic of Reactive and Concurrent Systems The Temporal Logic of Reactive and Concurrent Systems

    The Temporal Logic of Reactive and Concurrent Systems

    Amir Pnueli
    Springer New York, Springer New York
    17.10.2012

    Reactive systems are computing systems which are interactive, such as real-time systems, operatin...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Temporal Logic in Specification Temporal Logic in Specification

    Temporal Logic in Specification

    Behnam Banieqbal
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    11.10.1989

    Comparing linear and branching time temporal logics.- Interleaving set temporal logic.- An expres...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Temporal Verification of Reactive Systems Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Systems

    Zohar Manna
    Springer New York, Springer US
    04.08.1995

    This book is about the verification of reactive systems. A reactive system is a system that maint...

    Gebunden
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Temporal Verification of Reactive Systems Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Systems

    Amir Pnueli
    Springer New York, Springer US
    22.08.2012

    This book is about the verification of reactive systems. A reactive system is a system that maint...

    Taschenbuch
    117,69 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. The Temporal Logic of Reactive and Concurrent Systems The Temporal Logic of Reactive and Concurrent Systems

    The Temporal Logic of Reactive and Concurrent Systems

    Amir Pnueli
    Springer US, Springer New York
    18.12.1991

    Reactive systems are computing systems which are interactive, such as real-time systems, operatin...

    Gebunden
    117,69 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Compositionality: The Significant Difference Compositionality: The Significant Difference

    Compositionality: The Significant Difference

    Willem-Paul De Roever
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    18.12.1998

    This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Perspectives of Systems Informatics Perspectives of Systems Informatics

    Perspectives of Systems Informatics

    Amir Pnueli
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    08.02.2010

    This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Confere...

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

    Hybrid Systems: Computation and Control

    Freek Wiedijk
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    18.03.2003

    This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Con...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1