000 01070nam a2200313 a 4500
005 20250914011308.0
008 981208s1986 gw 00 eng
020 _a0387180036
035 _a594293
039 9 _a201708080913
_badibah
_c200107111805
_drahimi
_y08-18-1999
_zload
090 _aQA267.3.N38 1986[00008035393]
090 _aQA267.33540180036
090 _aQA267.3
_b.N38 1986
245 1 0 _aLogic of programming and calculi of discrete design /
_cedited by Manfred Broy.
260 _aBerlin :
_bSpringer-Verlag,
_c1986.
300 _a413 p. ;
_c25 cm.
590 _a1
650 0 _aElectronic digital computers
_xProgramming.
650 0 _aElectronic digital computers
_xProgramming
_vAddresses, essays, lectures.
700 1 _aBroy, Manfred,
_d1949-.
907 _a.b11331094
_b2021-05-28
_c2019-11-12
942 _c01
_n0
_kQA267.3.N38 1986[00008035393]
914 _avtls000138100
990 _asbs
991 _aFakulti Sains Matematik
998 _at
_b1999-05-08
_cm
_da
_feng
_ggw
_y0
_z.b11331094
999 _c134823
_d134823