Here, what we could find on your book search:

Stéphane Demri

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Relational Methods for Computer Science Applications

Ewa Orlowska and Andrzej Szalas

Check Price (2 deals)

CONCUR 2005 - Concurrency Theory

Martín Abadi

Check Price (5 deals)

Foundations of Software Science and Computation Structures

Igor Walukiewicz

Check Price (4 deals)

Automated Reasoning with Analytic Tableaux and Related Methods

Neil V. Murray

Check Price (7 deals)

Advances in Modal Logic

Lev Beklemishev, Stephane Demri and Andras Mate

Check Price (5 deals)

Automated Reasoning with Analytic Tableaux and Related Methods

Roy Dyckhoff

Check Price (8 deals)

Concise Introduction to Alternating-Time Temporal Logics

Stéphane Demri

Check Price (6 deals)

Temporal Logics in Computer Science

Stéphane Demri, Valentin Goranko and Martin Lange

Check Price (1 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free