| 000 | 01124cam a2200301 i 4500 | ||
|---|---|---|---|
| 001 | vtls000312851 | ||
| 003 | UG-KaMUL | ||
| 005 | 20250614155045.0 | ||
| 010 | _a80-017827 | ||
| 020 | _a0387100075 (U.S. : pbk.) | ||
| 039 |
_a201302081221 _d902 _y 201302081217 _z902 |
||
| 040 |
_aDLC _cDLC _dDLC _dUG-KaMUL |
||
| 082 | _a001.64/2 | ||
| 092 | _a001.642 COP | ||
| 111 |
_aCopenhagen Winter School on Abstract Software Specifications _d(197 9) |
||
| 245 |
_a Abstract software specifications : _b1979 Copenhagen Winter School, Janauary 22-February 2, 1979 : proceedings / _cedited by D. Bj²rner. |
||
| 260 |
_aBerlin : _bNew York : Springer-Verlag, _c1980. |
||
| 300 |
_axi, 566 p. : _bill. ; _c25 cm. |
||
| 440 |
_aLecture notes in computer science ; _v 86 |
||
| 500 | _aSponsored by the Commission of the European Communities and others. | ||
| 504 | _aIncludes bibliographies. | ||
| 650 |
_aComputer programming _xCongresses. |
||
| 700 |
_aBj²rner, D. _q (Dines), _d1937- |
||
| 710 | _aCommission of the European communities. | ||
| 852 | _dCOCIS | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c583829 _d583829 |
||