| 000 | 00559nab a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1990 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aHarel, David _9787777 |
||
| 100 |
_aLachover, Hagi _9787778 |
||
| 100 |
_aTrakhtenbrot, Mark _9787779 |
||
| 245 | 0 | _aStatemate a Working Environment for Development of Complex Reactive Systems | |
| 300 | _a403\-414 p. | ||
| 650 |
_aCode-Generation _9783000 |
||
| 650 |
_aPropotying _9787781 |
||
| 650 |
_aReactive System _9723492 |
||
| 773 |
_d1990 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c748266 _d748266 |
||