krzysztof apt

Constraint Logic Programming using Eclipse

Constraint logic programming lies at the intersection of logic programming, optimisation and arti...

Verification of Sequential and Concurrent Programs

Computer programs are an indispensable part of many of the systems we rely upon in our daily live...

Principles of Constraint Programming

Constraints are everywhere: most computational problems can be described in terms of restrictions...

Lectures in Game Theory for Computer Scientists

Games provide mathematical models for interaction. Numerous tasks in computer science can be form...

Programmverifikation

Verification of Sequential and Concurrent Programs

A major challenge for computer science is to develop methods that ensure program correctness. Thi...

Verification of Sequential and Concurrent Programs

This book provides a structured introduction to the verification of sequen­ tial and concurrent p...

Recent Advances in Constraints

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

New Trends in Constraints

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

The Logic Programming Paradigm

This exciting new text reveals both the evolution of this programming paradigm since its inceptio...

Logics and Models of Concurrent Systems

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

Edsger Wybe Dijkstra

Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of co...