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 |