Embedded system design : modeling, synthesis and verification /
Includes bibliographical references (p. [335]-347) and index.
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Dordrecht ; New York : Springer,
c200
|
| Subjects: |
| _version_ | 1826453400086118400 |
|---|---|
| author | Gajski, Daniel D. |
| author_facet | Gajski, Daniel D. |
| author_sort | Gajski, Daniel D. |
| collection | OCEAN |
| description | Includes bibliographical references (p. [335]-347) and index. |
| first_indexed | 2024-03-05T12:37:47Z |
| format | |
| id | KOHA-OAI-TEST:482619 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T12:37:47Z |
| publishDate | c200 |
| publisher | Dordrecht ; New York : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4826192020-12-19T17:17:48ZEmbedded system design : modeling, synthesis and verification / Gajski, Daniel D. Dordrecht ; New York : Springer,c2009.engIncludes bibliographical references (p. [335]-347) and index.MJIITLEmbedded computer systemsURN:ISBN:9781441905031 (hbk.) |
| spellingShingle | Embedded computer systems Gajski, Daniel D. Embedded system design : modeling, synthesis and verification / |
| title | Embedded system design : modeling, synthesis and verification / |
| title_full | Embedded system design : modeling, synthesis and verification / |
| title_fullStr | Embedded system design : modeling, synthesis and verification / |
| title_full_unstemmed | Embedded system design : modeling, synthesis and verification / |
| title_short | Embedded system design : modeling, synthesis and verification / |
| title_sort | embedded system design modeling synthesis and verification |
| topic | Embedded computer systems |
| work_keys_str_mv | AT gajskidanield embeddedsystemdesignmodelingsynthesisandverification |