*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Hybrid Systems III
    Hybrid Systems III
    Rajeev Alur
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification
    Computer Aided Verification
    Rajeev Alur
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Aided Verification
    Computer Aided Verification
    Rajeev Alur
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Rob Tristan Gerth: 1956-2003.- Static Program Analysis via 3-Valued Logic.- Deductive Verificatio...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Hybrid Systems: Computation and Control
    Hybrid Systems: Computation and Control
    Rajeev Alur
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Embedded Software
    Embedded Software
    Rajeev Alur
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Principles of Cyber-Physical Systems
    Principles of Cyber-Physical Systems
    Rajeev Alur
    MIT Press
    Taschenbuch
    BOD - 5 Tage

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

    88,30 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1