Books By

Books By is the author of "Embedded Software", "Automatic Verification Methods for Finite State Systems", "Embedded Systems Design" and "Rigorous System Design".

Books by Books By

Embedded Software
Sangiovanni-Vincent...
Electronic book text: $119.00

Understanding and...
Sifakis, Joseph
Paperback: $54.99

Embedded Software
Sangiovanni-Vincent...
Paperback:

Embedded Systems ...
Bouyssounouse Bruno
Electronic book text: $149.00