| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Embedded System Design: Modeling, Synthesis and Verification | Paperback | 978-81-322-1106-8 | 2013 | |
| Embedded System Design: Modeling, Synthesis and Verification | Hardcover | 978-1-4419-0503-1 | 2009 | Samar Abdi · Andreas Gerstlauer · Gunar Schirner |
| GAJSKI: SPECIFICATION DES EMBEDD _c | Paperback | 978-0-13-150731-9 | 1994 | Frank Vahid · Sanjiv Narayan · Jie Gong |
| High _ Level Synthesis: Introduction to Chip and System Design | Hardcover | 978-0-7923-9194-4 | 1992 | Nikil D. Dutt · Allen C-H Wu · Steve Y-L Lin |
| Principles and Computer Design | " | 978-0-13-080068-8 | 1999 | |
| Principles of Digital Design | Paperback | 978-0-13-301144-9 | 1996 | |
| Principles of Digital Design: International Edition | Taschenbuch | 978-0-13-242397-7 | 1996 | |
| SPECC: Specification Language and Methodology | Hardcover | 978-0-7923-7822-8 | 2000 | Jianwen Zhu · Rainer Dömer · Andreas Gerstlauer · Shuqing Zhao |
| System Design: A Practical Guide with SpecC | " | 978-0-7923-7387-2 | 2001 | Andreas Gerstlauer · Rainer Dömer · Junyu Peng |