| 000 | 00460nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 220816s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a0387513051 (U.S. : alk. paper) | ||
| 245 | 0 | _aMathematics of program construction : | |
| 260 |
_aBerlin ; | New York : _bSpringer-Verlag, _c1989 |
||
| 300 |
_avi, 420 p. : _bill. ; _c25 cm. |
||
| 490 |
_aLecture notes in computer science ; _v375 |
||
| 500 | _aPapers presented at the Conference on Mathematics of Program Construction. | ||
| 999 |
_c504 _d504 |
||