| 000 | 00509nam a2200169Ia 4500 | ||
|---|---|---|---|
| 082 |
_a518.542 _bW926.PS |
||
| 100 | _aWorkshop on "Program Specification", Aarhus University, Denmark, Aug. 4-7, 1981 | ||
| 245 |
_aProgram specification; proceedings _b _cEd. by J. Staunstrup |
||
| 260 |
_aBerlin _bSpringer-Verlag _c1982 |
||
| 300 | _aiv, 426p. | ||
| 440 |
_aLecture notes in Computer Science _v134 |
||
| 500 | _a | ||
| 653 | _a | ||
| 700 | _aStaunstrup, J. ; ed. | ||
| 964 |
_a _b _c _d _e _f _g |
||
| 921 | _a12463 | ||
| 999 |
_c12463 _d12463 |
||