| 000 | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 005 | 20251203090451.0 | ||
| 082 |
_a005 _bmee |
||
| 100 | _aIFIP TC2/ WG 2.1 working conference on program specification and transform... | ||
| 110 | _aMeertens, LGLT. | ||
| 245 | _aProgram specification and transformation | ||
| 260 |
_aAmsterdam: North-HollaNew Delhi _c1987 |
||
| 300 |
_aviii,535p. _c23 cm. |
||
| 690 | _aElectronic digital computers programming | ||
| 690 | _a<computer science> | ||
| 964 |
_bENG _c100 _d _e010 _f _g_ |
||
| 997 | _a19472 LIBSC C | ||
| 999 |
_c8629 _d8629 |
||