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