*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Synchronous Programming of Reactive Systems
    Synchronous Programming of Reactive Systems
    Nicolas Halbwachs
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    56,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification
    Computer Aided Verification
    Nicolas Halbwachs
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Nicolas Halbwachs
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Synchronous Programming of Reactive Systems
    Synchronous Programming of Reactive Systems
    Nicolas Halbwachs
    Springer US, Springer US
    Buch
    BOD - 7 Tage

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

    56,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1