| Type |  Book |
| ชื่อเรื่อง | Abstract state machines : a method for hight-level system design / Egon Borger and Robert Stark |
| ผู้แต่ง | Borger, Egon |
| ISBN | 3540007024 |
| พิมพลักษณ์ | Berlin : Springer, 2003 |
| รูปเล่ม | x, 438 p. ; tables, index + 1 CD [CD No. : 4487] |
| หัวเรื่อง | Computer software --Development [] |
| | Embedded computer systems |
| | System design |