Erweiterte Suche

Grid  List

  1. Handbook of Model Checking Handbook of Model Checking

    Handbook of Model Checking

    Roderick Bloem
    Springer-Verlag GmbH
    08.06.2018

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

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 149,79 €

    Jetzt 139,09 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Helmut Veith
    Springer Berlin Heidelberg
    14.07.2013

    This book constitutes the thoroughly refereed proceedings of the 25th International Conference on...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 25 Years of Model Checking 25 Years of Model Checking

    25 Years of Model Checking

    Helmut Veith
    Springer Berlin Heidelberg
    17.06.2008

    Model checking technology is among the foremost applications of logic to computer science and com...

    Taschenbuch
    37,44 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Handbook of Model Checking, 2 Teile Handbook of Model Checking, 2 Teile

    Handbook of Model Checking, 2 Teile

    Edmund M. Clarke
    Springer, Berlin, Springer International Publishing, Springer

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

    Taschenbuch
    149,79 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Model Checking Model Checking

    Model Checking

    Daniel Kroening
    MIT Press Ltd
    04.12.2018

    An expanded and updated edition of a comprehensive presentation of the theory and practice of mod...

    Gebunden
    90,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Computer Science Logic Computer Science Logic

    Computer Science Logic

    Anuj Dawar
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, w...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Iliano Cervesato
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This book constitutes the refereed proceedings of the 15th International Conference on Logic for ...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 128,39 €

    Jetzt 106,99 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1