Here, what we could find on your book search:

Parosh Aziz Abdulla

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

Applications and Theory of Petri Nets 2001

Applications and Theory of Petri Nets 2001

Jose-Manuel Colom and Maciej Koutny

Check Price (2 deals)
Automatic Verification of Parameterized Systems by Over-Approximation

Automatic Verification of Parameterized Systems by Over-Approximation

Vladislavs Jahundovics

Check Price (7 deals)
Decidability of Parameterized Verification

Decidability of Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Kalimov and Igor Konnov

Check Price (7 deals)
CONCUR 2001 - Concurrency Theory

CONCUR 2001 - Concurrency Theory

Kim G. Larsen and Mogens Nielsen

Check Price (1 deals)
Correct System Design

Correct System Design

Ernst-Rüdiger Olderog and Bernhard Steffen

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

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan and Natasha Sharygina

Check Price (3 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now