*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Handbook of Model Checking
    Handbook of Model Checking
    Roderick Bloem
    Springer-Verlag GmbH
    Buch
    Sofort lieferbar

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

    139,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Lectures On The Public Life And Character Of Oliver Cromwell (1847)
    Lectures On The Public Life And Character Of Oliver Cromwell (1847)
    Edmund Clarke
    Kessinger Publishing, LLC
    Taschenbuch
    Print on Demand

    This scarce antiquarian book is a facsimile reprint of the original. Due to its age, it may conta...

    38,56 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Perspectives of Systems Informatics
    Perspectives of Systems Informatics
    Edmund Clarke
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Logic for Programming, Artificial Intelligence, and Reasoning
    Logic for Programming, Artificial Intelligence, and Reasoning
    Andrei Voronkov
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer-Aided Verification
    Computer-Aided Verification
    Robert P. Kurshan
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the second workshopon Computer Aided Verification, he...

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1