ISBN 9781489985309 books & textbook
Embedded System Design: Modeling, Synthesis and Verification
Gajski, Daniel D. D. Abdi, Samar Gerstlauer, Andreas Schirner, Gunar
Springer /2014-11-26 Paperback / 377 Pages
isbn-10: 1489985301 / isbn-13: 9781489985309
