| 000 | 00509nam a2200169 4500 | ||
|---|---|---|---|
| 008 | 160616s2004 000 0 | ||
| 245 | _aMathematics of Program Construction: 7th international conference, MPC 2004 Stirling, Scotland, UK, July 2004: proceedings | ||
| 100 | _aKozen, Dexter Ed., | ||
| 260 | _aBerlin | ||
| 260 | _bspringer | ||
| 260 | _c2004 | ||
| 300 | _a399 | ||
| 440 | _aLecture notes in computer science ; 03125 | ||
| 020 | _a3540223800 | ||
| 942 |
_cBK _2BK19165 |
||
| 080 | _a681 LNCS | ||
| 999 |
_c19165 _d19165 |
||