che-chandler.de

Verification of Sequential and Concurrent Programs

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

Verification of Sequential and Concurrent Programs

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

New Trends in Constraints

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

Brief History Of Mathematics For Curious Minds, A

This book offers a short and accessible account of the history of mathematics, written for the in...

Logic Programming Languages

This collection of current research on logic programming languages presents results from a three-...

Logics and Models of Concurrent Systems

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

Recent Advances in Constraints

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

BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A

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 becoming more and more part of systems that we use to rely on in our daily ...

Lectures in Game Theory for Computer Scientists

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

Logic Programming Paradigm

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