Erweiterte Suche

Grid  List

  1. Synchronous Programming of Reactive Systems Synchronous Programming of Reactive Systems

    Synchronous Programming of Reactive Systems

    Nicolas Halbwachs
    Springer US, Springer US
    31.12.1992

    This book will attempt to give a first synthesis of recent works con cerning reactive system desi...

    Gebunden
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Synchronous Programming of Reactive Systems Synchronous Programming of Reactive Systems

    Synchronous Programming of Reactive Systems

    Nicolas Halbwachs
    Springer, Springer
    07.12.2010

    This book will attempt to give a first synthesis of recent works con cerning reactive system desi...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Nicolas Halbwachs
    Springer, Springer
    23.06.1999

    This book constitutes the refereed proceedings of the 11th International Conference on Computer A...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Nicolas Halbwachs
    Springer, Springer
    23.03.2005

    ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of So...

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