| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a010179 | ||
| 020 | _a354056733X | ||
| 082 |
_a005.1 _bN9316 |
||
| 100 | _aHoffman, Berthold. | ||
| 245 | _aProgram development by specification & transformation: the prospectra methodology, language family & system /ed. by Berthold Hoffman,.. | ||
| 260 |
_aBerlin _bS-V _c1993 |
||
| 300 | _axiv, 623p | ||
| 490 |
_aLecture Notes in Computer Science _d680 |
||
| 690 | _aProgramming (Electronic computers) | ||
| 700 | _aKrieg-Bruckner, Bernd. | ||
| 999 |
_c10011 _d10011 |
||