Here, what we could find on your book search:

Rajeev Alur

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

Lectures on Concurrency and Petri Nets

Lectures on Concurrency and Petri Nets

Jörg Desel, Wolfgang Reisig and Grzegorz Rozenberg

Check Price (10 deals)
Logical Foundations of Cyber-Physical Systems

Logical Foundations of Cyber-Physical Systems

André Platzer

Check Price (4 deals)
Principles of Cyber-physical Systems

Principles of Cyber-physical Systems

Rajeev Alur

Check Price (10 deals)
Formal Methods for Control of Nonlinear Systems

Formal Methods for Control of Nonlinear Systems

Yinan Li and Jun Liu

Check Price (10 deals)
Engineering Dependable Software Systems

Engineering Dependable Software Systems

NATO Emerging Security Challenges Division

Check Price (8 deals)
STACS 2003

STACS 2003

Helmut Alt and Michel Habib

Check Price (8 deals)
PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024

PROCEEDINGS OF THE 24TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2024

Nina Narodytska and Philipp Rümmer

Check Price (6 deals)
Embedded Software

Embedded Software

Rajeev Alur

Check Price (2 deals)

BOOKS THAT SPEAKS TO YOU

Try Amazon Audible today for FREE. Cancel anytime

First Audiobook Free