Wissen, was kommt.
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
    149,79 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Edmund M. Clarke
    Springer, Springer
    04.01.2011

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer-Aided Verification Computer-Aided Verification

    Computer-Aided Verification

    Edmund M. Clarke
    Springer, Springer
    02.10.1991

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Perspectives of Systems Informatics Perspectives of Systems Informatics

    Perspectives of Systems Informatics

    Edmund Clarke
    Springer, Springer
    30.05.2012

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Wunder von Manhatten 1947 & 1994(DVD) DP Min: /DD5.1/WS Doppelset Wunder von Manhatten 1947 & 1994(DVD) DP Min: /DD5.1/WS Doppelset

    Wunder von Manhatten 1947 & 1994(DVD) DP Min: /DD5.1/WS Doppelset

    Maureen Ohara
    FOX
    25.10.2013

    A---

    DVD Video

    Unser bisheriger Preis:ORGPRICE: 12,99 €

    Jetzt 10,72 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Handbook of Model Checking, m. 2 Buch Handbook of Model Checking, m. 2 Buch

    Handbook of Model Checking, m. 2 Buch

    Edmund M. Clarke
    Springer, Berlin, 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
  7. Irish Tales of Mystery and Magic Irish Tales of Mystery and Magic

    Irish Tales of Mystery and Magic

    Edmund Lenihan
    The Mercier Press
    04.09.2015

    New edition of the award-winning collection, complete with Alan Clarke's witty, eye-catching illu...

    Taschenbuch
    18,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Fionn Mac Cumhail’s Epic Adventures: Fionn Mac Cumhail’s Epic Adventures:

    Fionn Mac Cumhail’s Epic Adventures:

    Edmund Lenihan
    The Mercier Press
    02.03.2015

    A new miniature series of Eddie Lenihan's charming stories with fabulous illustrations by Alan Cl...

    Gebunden
    9,00 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1