| Type |  Book |
| ชื่อเรื่อง | Global specification and validation of embedded systems : integrating heterogeneous components / G. Nicolescu, A.A Jerraya |
| ผู้แต่ง | Nicolescu, G |
| ISBN | 9781402061516 |
| พิมพลักษณ์ | Dordrecht : Springer, c2007 |
| รูปเล่ม | 148 p. : ill |
| หัวเรื่อง | Embedded computer systems |