000 | 00457nab a2200145Ia 4500 | ||
---|---|---|---|
008 | 230808s1989 |||||||f |||| 00| 0 eng d | ||
100 |
_aJalote, Pankaj _9144471 |
||
245 | 0 | _aFunctional Refinement and Nested Objects for Object-Oriented Design | |
300 | _a264-270 p. | ||
650 |
_aAda _9780835 |
||
650 |
_aNested Analysis _9735340 |
||
650 |
_aStepwise _9713335 |
||
773 |
_d1989 _tIEEE Transactions on Software Engineering _x00985589 |
||
942 |
_cART _o51 _pABUL KALAM Library |
||
999 |
_c746444 _d746444 |