| 000 | 00501nab a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1992 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aMahony, Brendan P. _9790663 |
||
| 100 |
_aHayes, Ian J. _9790664 |
||
| 245 | 2 | _aA Case-Study in Timed Refinement a Mine Pump | |
| 300 | _a817-826 p. | ||
| 650 |
_aContinuous Functions _9790665 |
||
| 650 |
_aRefinement _9724505 |
||
| 650 |
_aReal Time Specification _9790666 |
||
| 773 |
_d1992 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c749830 _d749830 |
||