000 00438nam a2200169Ia 4500
003 GCL
008 140319s9999 xx 000 0 eng d
040 _aGCL /
_cGCL
082 0 4 _a005.1
_bC P
100 1 _aCASEY, CHRIS
245 1 0 _aA PROGRAMMING APPROACH TO FORMAL METHODS /
_cCASEY, CHRIS
260 _a[S.N] :
_bMC GRAW - HILL ،
_c1994
300 _a262 P
650 0 4 _aPROGRAMMING
650 0 4 _aFORMAL METHODS
942 _2ddc
_cBK
999 _c24971
_d24971