Erweiterte Suche

Grid  List

  1. 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

    Nir Piterman
    Springer, Springer
    20.02.2013

    This book constitutes the proceedings of the 19th International Conference on Tools and Algorithm...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Extending Temporal Logic with Omega-automata Extending Temporal Logic with Omega-automata

    Extending Temporal Logic with Omega-automata

    Nir Piterman
    LAP LAMBERT Academic Publishing
    21.10.2009

    This book surveys the automata theoretic techniques that are required for model checking and sati...

    Taschenbuch
    49,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Hardware and Software: Verification and Testing Hardware and Software: Verification and Testing

    Hardware and Software: Verification and Testing

    Nir Piterman
    Springer, Springer
    27.10.2015

    This book constitutes the refereed proceedings of the11th International Haifa Verification Confer...

    Taschenbuch
    51,36 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1