000 01247nam a2200301 a 4500
005 20250914012618.0
008 981208s1990 gw/a b 000 0 eng
020 _a3540973753
039 9 _a201804110933
_blan
_y08-18-1999
_zload
040 _dUKM
090 _aQA76.7.M38[00008033444]
090 _aQA76.7
_b.M38
245 1 0 _aMathematical foundations of programming semantics :
_b5th International Conference, Tulane University, New Orleans, Louisiana U.S.A. March 29 - April 1, 1989 :
_bproceedings
_cM. Main ...(et al.), eds.
260 _aBerlin :
_bSpringer-Verlag,
_c1990.
300 _a439 p. :
_bill. ;
_c25 cm.
440 _aLecture notes in computer science
_vv. 442.
650 0 _aProgramming languages (Electronic computers)
_xSemantics
_xCongresses.
650 0 _aComputer science
_xMathematics
_xCongresses.
700 1 _aMain, Michael, 1956.
711 2 _aInternational Conference on the Mathematical Foundation of Programming Semantics (5th : 1989 : Tulane University).
907 _a.b11417663
_b2021-05-28
_c2019-11-12
942 _c01
_n0
_kQA76.7.M38[00008033444]
914 _avtls000147026
990 _aHY
991 _aFak Sains Matematik
998 _at
_b1999-05-08
_cm
_da
_feng
_g
_y0
_z.b11417663
999 _c143448
_d143448