000 | 00460 a2200157 4500 | ||
---|---|---|---|
010 | _a 2011941495 | ||
020 | _a9783642173356 (hard cover : alk. paper) | ||
035 | _a | ||
090 |
_c27949 _d27949 |
||
100 | 1 | _aSannella, Donald | |
245 | 1 | 0 |
_aFoundations of algebraic specification and formal software development _cDonald Sannella |
260 |
_aNew York _bSpringer _c2011 |
||
300 | _ap. cm | ||
500 | _aContine bibliogr. si index | ||
942 |
_aIMAR _cCART _sRM |
||
999 |
_c27654 _d27654 |