| Type |  Book |
| ชื่อเรื่อง | Embedded systems : new approaches to their formal description and design : an advanced course, Zurich, Switzerland, March 5-7, 1986 / A. Kundig, R.E. Duhrer, J. Dahler, eds |
| ISBN | 038718581X (U.S. : pbk.) |
| พิมพลักษณ์ | Berlin : Springer-Verlag, c1987 |
| รูปเล่ม | 207 p. : ill. ; 25 cm |
| หัวเรื่อง | Embedded computer systems --Design and construction --Congresses [] |