Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Recent Advances in Constraints Recent Advances in Constraints

    Recent Advances in Constraints

    Krzysztof R. Apt
    Springer, Springer
    07.04.2004

    Constraint programming is the fruit of several decades of research carried out in mathematical lo...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Logics and Models of Concurrent Systems Logics and Models of Concurrent Systems

    Logics and Models of Concurrent Systems

    Krzysztof R. Apt
    Springer, Springer
    30.12.2011

    The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof the...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Meta-Logics and Logic Programming Meta-Logics and Logic Programming

    Meta-Logics and Logic Programming

    Krzysztof R. Apt
    MIT Press
    17.03.2003

    Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Progr...

    Taschenbuch
    42,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concurrent Programs

    Krzysztof R. Apt
    Springer, Springer
    14.03.2012

    HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

    Taschenbuch
    85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Verification of Sequential and Concurrent Programs Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concurrent Programs

    Krzysztof R. Apt
    Springer, Springer
    05.10.2009

    HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional metho...

    Gebunden
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Programmverifikation Programmverifikation

    Programmverifikation

    Krzysztof R. Apt
    Springer, Springer Spektrum
    21.03.1994

    Dieses Buch bietet als erstes Lehrbuch eine systematischeEinführung in die Programmverifikation. ...

    Taschenbuch
    29,95 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. New Trends in Constraints New Trends in Constraints

    New Trends in Constraints

    Krzysztof R. Apt
    Springer, Springer
    23.08.2000

    This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM Compulog-Net Wo...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. New Perspectives on Games and Interaction New Perspectives on Games and Interaction

    New Perspectives on Games and Interaction

    Krzysztof Apt
    Routledge
    13.11.2008

    This volume is a collection of papers presented at the 2007 colloquium on new perspectives on gam...

    Taschenbuch
    58,00 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. The Logic Programming Paradigm The Logic Programming Paradigm

    The Logic Programming Paradigm

    Krzysztof R. Apt
    Springer, Springer Vieweg
    19.09.2011

    Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of ...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1