TY - BOOK AU - Gajski D.D. AU - Gajski D.D.; Abdi S.; Gerstlauer A. & Schirner G. TI - Embedded System Design: Modeling,Synthesis And Verification SN - 9788132211068 U1 - 005.117 PY - 2013/// PB - Springer ER -