Verification of Sequential and Concurrent Programs

Computer programs are an indispensable part of ...

Principles of Constraint Programming

Constraints are everywhere: most computational ...

Constraint Logic Programming using Eclipse

Constraint logic programming lies at the inters...

Lectures in Game Theory for Computer Scientists

Games provide mathematical models for interacti...

Programmverifikation

Verification of Sequential and Concurrent Programs

A major challenge for computer science is to de...

Verification of Sequential and Concurrent Programs

This book provides a structured introduction to...

Recent Advances in Constraints

Constraint programming is the fruit of several ...

New Trends in Constraints

This book constitutes the thoroughly refereed p...

The Logic Programming Paradigm

This exciting new text reveals both the evoluti...

Logics and Models of Concurrent Systems

The cooperation test [Apt, Francez & de Roever]...

Edsger Wybe Dijkstra

Edsger Wybe Dijkstra (1930-2002) was one of the...