000 | 00604nam a2200193Ia 4500 | ||
---|---|---|---|
919 | _a169554 | ||
082 |
_a005.131 _b |
||
245 |
_aAlgebraic Methodology and Software Technology _b _ced by V. S. Alagar and Maurice Nivat |
||
260 |
_aBerlin _bSpringer |
||
490 | _aLecture notes in computer science | ||
690 | _aSoftware Technology; algebraic methods; | ||
700 | _aAlagar, V S., ed | ||
700 | _aNivat, Maurice., ed | ||
999 |
_c160601 _d160601 |