*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Nir Piterman
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

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

    51,36 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Nir Piterman
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Extending Temporal Logic with Omega-automata
    Extending Temporal Logic with Omega-automata
    Nir Piterman
    LAP LAMBERT Academic Publishing
    Taschenbuch
    BOD - 5 Tage

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

    49,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1