| 000 | 00700pam a2200217a 44500 | ||
|---|---|---|---|
| 005 | 20170118122120.0 | ||
| 008 | 160408bc1991 xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0792391675 | ||
| 040 | _cIITK | ||
| 041 | _aeng | ||
| 082 |
_a004.33 _bF825 |
||
| 245 | 1 |
_aFoundations of real-time computing _bformal specifications and methods _cedited by Andre M Van Tilborg and Gary M Koob |
|
| 260 |
_aBoston _bKluwer Academic Publishers _c1991 |
||
| 300 | _aix,316p | ||
| 440 | _aThe kluwer international series in engineering and computer science | ||
| 440 | _aSECS 14 | ||
| 650 | _aReal - Time data processing | ||
| 700 | _aTilborg, Andre M Van [ed.] | ||
| 700 | _aKoob, Gary M [ed.] | ||
| 942 | _cBK | ||
| 999 |
_c316526 _d316526 |
||