*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Handbook of Model Checking
    Handbook of Model Checking
    Helmut Veith
    Springer-Verlag GmbH
    Buch
    Sofort lieferbar

    Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

    149,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Perspectives of Systems Informatics
    Perspectives of Systems Informatics
    Edmund Clarke
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book contains thoroughly refereed and revised papers from the 8th International Andrei Ersho...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Logic for Programming, Artificial Intelligence, and Reasoning
    Logic for Programming, Artificial Intelligence, and Reasoning
    Andrei Voronkov
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the thoroughly refereed post-conference proceedings of the 16th Internation...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computer-Aided Verification
    Computer-Aided Verification
    Edmund M. Clarke
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume is the proceedings of a workshop presenting results that lead to new or more powerful...

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