Here, what we could find on your book search:

Franck Cassez

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

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Jean-Francois Raskin

Check Price (6 deals)
Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

Susanne Graf and Wenhui Zhang

Check Price (10 deals)
Dependable Software Systems Engineering

Dependable Software Systems Engineering

A. Pretschner, D. Peled and T. Hutzelmann

Check Price (10 deals)
Engineering Methods and Tools for Software Safety and Security

Engineering Methods and Tools for Software Safety and Security

M. Broy, Wassiou Sitou and Charles Antony Richard Hoare

Check Price (3 deals)
Advances in Information Security and Assurance

Advances in Information Security and Assurance

James (Jong Hyuk) Park, Hsiao-Hwa Chen, Mohammed Atiquzzaman, Changhoon Lee and Sang-Soo Yeo

Check Price (9 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now