| 000 | 00582 a2200169 4500 | ||
|---|---|---|---|
| 082 |
_a001.642 _bN214c |
||
| 100 | 1 |
_aBIERMANN, ALAN W. _d |
|
| 245 | 1 | _aCOMPUTER PROGRAM SYNTHESIS METHODOLOGIES | |
| 260 |
_aDordrecht _bD. Reidel Pub. _c1983 |
||
| 300 | _aix,374,,,,, | ||
| 440 |
_aNato Advanced Study Institutes Series , Series C, Mathematical And Physical Sciences _vV. 95 |
||
| 500 | _aPublished In Cooperation With Scientific Affairs | ||
| 650 | _aElectronic Digital Computers -- Programming -- Congresses | ||
| 700 | _aGUIHO, GERARD | ||
| 964 | _gCIRC | ||
| 997 | _aA78167 C | ||
| 999 |
_c470338 _d470338 |
||