edmund clarke

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 modeled by state-transition systems. Drawing from research traditions in mathematical logic, progra...
    149,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  2. Logic for Programming, Artificial Intelligence, and Reasoning
    Logic for Programming, Artificial Intelligence, and Reasoning
    Edmund M. Clarke
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, whichtook...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Handbook of Model Checking
    Handbook of Model Checking
    Edmund M. Clarke
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programmi...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Perspectives of Systems Informatics
    Perspectives of Systems Informatics
    Edmund Clarke
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosi...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. TIS THE SEASON TO BE JOLLY - Christmas Carols & Poems
    TIS THE SEASON TO BE JOLLY - Christmas Carols & Poems
    Henry Wadsworth Longfellow
    e-artnow
    Ebook
    Sofort lieferbar
    This unique collection of Christmas carols, poems and songs is presented to you by e-artnow.Table of Contents:Silent NightThe Three KingsChristmas BellsChristmas At SeaAngels from the Realms of Glo...
    0,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Model Checking, second edition
    Model Checking, second edition
    Edmund M. Clarke
    MIT Press
    Ebook
    Sofort lieferbar
    An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
    75,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Agricultural Science Book 2: A course for secondary schools in the Caribbean
    Agricultural Science Book 2: A course for secondary schools in the Caribbean
    Amrith Barran
    Hachette Learning
    Ebook
    Sofort lieferbar
    Cultivate an interest in the agricultural sector with a three-level secondary course designed specifically for the Caribbean.- Explore regional and global practices and developments in agriculture....
    9,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Agricultural Science Book 1: A course for secondary schools in the Caribbean
    Agricultural Science Book 1: A course for secondary schools in the Caribbean
    Amrith Barran
    Hachette Learning
    Ebook
    Sofort lieferbar
    Cultivate an interest in the agricultural sector with a three-level secondary course designed specifically for the Caribbean.- Explore regional and global practices and developments in agriculture....
    9,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. The Most Beloved Carols & Poems for Christmas Time
    The Most Beloved Carols & Poems for Christmas Time
    Martin Luther
    Copycat
    Ebook
    Sofort lieferbar
    'The Most Beloved Carols & Poems for Christmas Time' brings together a magnificent collection of verses and songs that have graced festive celebrations for centuries. This anthology captures the es...
    2,13 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. The Greatest Christmas Carols & Poems
    The Greatest Christmas Carols & Poems
    Henry Wadsworth Longfellow
    Musaicum Books
    Ebook
    Sofort lieferbar
    The Greatest Christmas Carols & Poems encapsulates the rich tapestry of thematic depth and stylistic diversity that characterizes classic literature. Echoing through its pages are the sounds of yul...
    1,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Unternehmen Tigersprung
    Unternehmen Tigersprung
    John Wayne
    Filmjuwelen
    Blu-ray
    Bezug 3-5
    Kurz vor Eintritt der USA in den Zweiten Weltkrieg: Die Fliegenden Tiger sind eine Gruppe freiwilliger US-Piloten im Einsatz gegen Japan. Jim Gordon (John Wayne) ist ihr Kommandant. Das Unternehmen...
    11,62 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  12. Das Wunder von Manhattan
    Das Wunder von Manhattan
    Maureen Ohara
    20th Century Fox Home Entertainment
    DVD
    Bezug 6-10
    -Das Wunder von Manhattan (USA 1947, 92 Min., FSK 0):Gibt es den Weihnachtsmann wirklich? Genau diese Frage stellen sich viele New Yorker, als ein älterer Herr mit Rauschebart vor Gericht behaupt...
    12,97 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>