000 00963cam a2200253ua 4500
001 132505
005 20170524140722.0
008 081105 1993 XXK NNYN eng1
020 _a3 540 19852 0
040 _aIGNCA, New Delhi
044 _axxk
082 0 _a001.6425
_bINT
111 2 _aInternational conference
_cNetherlands
_dJune 21-25, 1993
240 1 _aProceedings
245 1 _aAlgebraic methodology and software technology (AMAST'93)
_bProceedings of the third international conference on algebraic methodology and software technology, university of twente, enschede, t Netherlands
260 _aLondon
_bSpringer-Verlag
_c1993
300 _axvi, 416p.
_c24cm
440 _aWorkshops in computing
500 _aIncludes index
650 0 0 _aSoftware engineering
_vCongresses
650 0 0 _aAbstract data types (Computer science)
_vCongresses
650 0 0 _aCongresses and conventions
942 _2ddc
_cBK
999 _c32579
_d32579