| 000 | 01125nam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | 00462438 | ||
| 003 | PWmBRO | ||
| 005 | 20240602100223.0 | ||
| 008 | 841127s1983 ne a o1011 eng l | ||
| 082 | 0 | 0 |
_a001.64 _b2 |
| 090 | 0 | 0 | _b001.642/I23f/1982 |
| 110 | 3 | 0 | _aIFIP Working Conference on Formal Description of Programming Concepts (1982 : Garmisch-Partenkirschen, Germany) |
| 245 | 1 | 0 |
_aFormal description of programming concepts--II _bproceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirschen, FRG, 1-4 June 1982 _cedited by Dines Bjorner |
| 260 | 0 | 0 |
_aAmsterdam _bNorth-Holland Pub. Co. _c1983 |
| 300 | 0 | 0 |
_axii, 455 p. _c23 cm. |
| 500 | 0 | 0 | _a"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p |
| 595 | 0 | 0 | _a0444866191 |
| 650 | 0 | 0 | _aFormal languages |
| 650 | 0 | 0 | _aComputer programming |
| 700 | 1 | 0 |
_aBjorner, D. _q(Dines), _d1937- |
| 710 | 2 | 0 | _aIFIP Technical Committee 2--Programming. |
| 942 | _2ddc | ||
| 994 | _a001030108 85224 0001 | ||
| 999 |
_c21928 _d21928 |
||