| Type |  Book |
| ชื่อเรื่อง | Embedded system design : modeling, synthesis and verification / Daniel D. Gajski ... [et al.] |
| ISBN | 9781441905031 : ฿4380.00 |
| พิมพลักษณ์ | New York : Springer, c2009 |
| รูปเล่ม | xxiv, 352 p. : ill |
| ลิงค์ | Contents. |
| หัวเรื่อง | Embedded computer systems |