| 000 | 00336nam a2200109Ia 4500 | ||
|---|---|---|---|
| 008 | 160523s9999 xx 000 0 und d | ||
| 020 | _a978-9-810-22566-7 | ||
| 100 | _aShyamasundar, R. K. | ||
| 245 | _aReal time programming: Languages, specification and verification | ||
| 260 |
_aNew Jersey _bWorld Scientific _c2010 |
||
| 300 | _axv, 245p. | ||
| 999 |
_c33123 _d33123 |
||