000 00583nam a2200157 a 4500
005 20190520020726.0
008 090326s19uu xx 00 eng d
100 1 0 _aFurtado, Antonio Luz
245 1 0 _aFormal techniques for database design /
_cAntonio L. Furtado, Erich J. Neuhold.
260 0 _aBerlin :
_bSpringer-Verlad,
_cc1986.
300 _aviii, 114 p. : figs
500 _aIncludes references and subject index.
650 _aDatabase management.
650 _aSystem design.
852 _7OLOPSC
999 _c33003
_d33003