krzysztof apt

Grid   List

  1. Constraint Logic Programming using Eclipse
    Constraint Logic Programming using Eclipse
    Krzysztof R. Apt
    Cambridge University Press
    Ebook
    Sofort lieferbar
    Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including production planning, tr...
    76,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Verification of Sequential and Concurrent Programs
    Verification of Sequential and Concurrent Programs
    Krzysztof R. Apt
    Springer London
    Ebook
    Sofort lieferbar
    Computer programs are an indispensable part of many of the systems we rely upon in our daily lives, and the proper functioning and safety of these systems is of paramount importance. The developmen...
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Principles of Constraint Programming
    Principles of Constraint Programming
    Krzysztof Apt
    Cambridge University Press
    Ebook
    Sofort lieferbar
    Constraints are everywhere: most computational problems can be described in terms of restrictions imposed on the set of possible solutions, and constraint programming is a problem-solving technique...
    51,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Lectures in Game Theory for Computer Scientists
    Lectures in Game Theory for Computer Scientists
    Krzysztof R. Apt
    Cambridge University Press
    Ebook
    Sofort lieferbar
    Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reve...
    116,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Programmverifikation
    Programmverifikation
    Krzysztof R. Apt
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Programmverifikation
    22,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Verification of Sequential and Concurrent Programs
    Verification of Sequential and Concurrent Programs
    Krzysztof R. Apt
    Springer New York
    Ebook
    Sofort lieferbar
    A major challenge for computer science is to develop methods that ensure program correctness. This textbook provides a structured introduction to program verification using an assertional approach ...
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Verification of Sequential and Concurrent Programs
    Verification of Sequential and Concurrent Programs
    Krzysztof R. Apt
    Springer New York
    Ebook
    Sofort lieferbar
    This book provides a structured introduction to the verification of sequen­ tial and concurrent programs. It thus belongs to the area of programming languages but at the same time it is firmly base...
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Recent Advances in Constraints
    Recent Advances in Constraints
    Krzysztof R. Apt
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. New Trends in Constraints
    New Trends in Constraints
    Krzysztof R. Apt
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised f...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. The Logic Programming Paradigm
    The Logic Programming Paradigm
    Krzysztof R. Apt
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The contributors to this book a...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Logics and Models of Concurrent Systems
    Logics and Models of Concurrent Systems
    Krzysztof R. Apt
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as opposed to the inte...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Edsger Wybe Dijkstra
    Edsger Wybe Dijkstra
    Krzysztof R. Apt
    Association for Computing Machinery and Morgan & Claypool Publishers
    Ebook
    Sofort lieferbar
    Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early...
    74,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>