| 000 | 00699 a2200205 4500 | ||
|---|---|---|---|
| 005 | 20170116115807.0 | ||
| 008 | 170108b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0444878882 | ||
| 040 | _cIITK | ||
| 041 | _aeng | ||
| 082 |
_a001.642 _bIn8f |
||
| 111 |
_aIFIP TC2 Working Conference on the Role of Abstract Models in Information Processing _cVienna, Austria _d1985 |
||
| 245 | 1 |
_aFormal models in programming _bproceedings... _cedited by E. J. Neuhold and G. Chroust |
|
| 260 |
_aAmsterdam _bNorth-Holland _c1985 |
||
| 300 | _axix, 425p | ||
| 650 | _aElectronic digital computers -- Programming -- Congresses | ||
| 700 | _aNeuhold, E. J. [ed.] | ||
| 700 | _aChroust, G. [ed.] | ||
| 942 | _cBK | ||
| 999 |
_c470217 _d470217 |
||