| 000 | 01369cam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | 460195 | ||
| 003 | BD-DhUL | ||
| 005 | 20140723142058.0 | ||
| 008 | 140722s1983 ne b 101 0 eng | ||
| 010 | _a 83000558 | ||
| 020 | _a0444866191 | ||
| 040 |
_aDLC _cDLC _dDLC _dBD-DhUL |
||
| 050 | 0 | 0 |
_aQA76.6 _b.I25 1982 |
| 082 | 0 | 0 |
_a001.6424 _219 _bBJF |
| 111 | 2 |
_aIFIP Working Conference on Formal Description of Programming Concepts _d(1982 : _cGarmisch-Partenkirchen, Germany) |
|
| 245 | 1 | 0 |
_aFormal description of programming concepts--II : _bproceedings of the IFIP Working Conference on Formal Description of Programming Concepts--II, Garmisch-Partenkirchen, FRG, 1-4 June 1982 / _cedited by Dines Bjørner. |
| 260 |
_aAmsterdam ; _aNew York : _bNorth-Holland Pub. Co. ; _aNew York, N.Y. : _bSole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., _c1983. |
||
| 300 |
_axii, 455 p. ; _c23 cm. |
||
| 500 | _a"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p. | ||
| 504 | _aIncludes bibliographies and index. | ||
| 650 | 0 |
_aComputer programming _xCongresses. |
|
| 650 | 0 |
_aFormal languages _xCongresses. |
|
| 700 | 1 |
_aBjørner, D. _q(Dines), _d1937- |
|
| 710 | 2 | _aIFIP Technical Committee 2--Programming. | |
| 906 |
_a7 _bcbc _corignew _d1 _eocip _f19 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c314 _d314 |
||