| 000 | 00588nab a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 230808s1989 |||||||f |||| 00| 0 eng d | ||
| 100 |
_aMolier, Bernhard _9783305 |
||
| 100 |
_aPartsch, Helmut _9783307 |
||
| 100 |
_aPepper, Peter _9783310 |
||
| 245 | 0 | _a Formal Program Construction by Trans Formations Computer Aided, Intuition Guided Programming | |
| 300 | _a165-180 p. | ||
| 650 |
_aAlgebraic Simplification _9783311 |
||
| 650 |
_a Formal Semantics _9699743 |
||
| 650 | _aSoftware Engineering | ||
| 773 |
_d1989 _tIEEE Transactions on Software Engineering _x00985589 |
||
| 942 |
_cART _o51 _pABUL KALAM Library |
||
| 999 |
_c746432 _d746432 |
||