Here, what we could find on your book search:

Ahmed Bouajjani

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).

Verification of Infinite-state Systems with Applications to Security

Verification of Infinite-state Systems with Applications to Security

Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea

Check Price (3 deals)
Principled Software Development

Principled Software Development

Peter Müller and Ina Schaefer

Check Price (3 deals)
CONCUR 2001 - Concurrency Theory

CONCUR 2001 - Concurrency Theory

Kim G. Larsen and Mogens Nielsen

Check Price (3 deals)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Susanne Graf and Michael Schwartzbach

Check Price (1 deals)
Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

Fourth IFIP International Conference on Theoretical Computer Science - TCS 2006

Gonzalo Navarro, Leopoldo Bertossi and Yoshiharu Kohayakawa

Check Price (4 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now