Søkt på: Bøker av Krzysztof R. Apt
totalt 24 treff
Logics and Models of Concurrent Systems
The cooperation test [Apt, Francez & de Roever] was originally conceived to capture the proof theoretical analogue of distributed message exchange between disjoint processes, as …
The Logic Programming Paradigm
Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of …
Meta-Logics and Logic Programming
Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming …
Edsger Wybe Dijkstra
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 …
Verification of Sequential and Concurrent Programs
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded …
New Trends in Constraints
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. …
Lectures in Game Theory for Computer Scientists
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 …
Edsger Wybe Dijkstra
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 …
Verification of Sequential and Concurrent Programs
Computer programs are becoming more and more part of systems that we use to rely on in our daily lives. The proper functioning and safety of these systems is of paramount …
Constraint Logic Programming using Eclipse
Constraint logic programming lies at the intersection of logic programming, optimisation and artificial intelligence. It has proved a successful tool in many areas including …
Logic Programming Languages
This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of …
New Trends in Constraints
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. …