000 00564nam a22001937a 4500
003 NUST - PNEC
005 20170116180820.0
008 150616b xxu||||| |||| 00| 0 eng d
020 _a0201544296
040 _cLIBRARY
082 _a004.21 SCH
100 _94043
_aScheurer, thierry
245 _aFoundations of computing : system development with set theory and logic
_cThierry Scheurer
250 _a-
260 _aNew York
_bAddison-Wisley publishing Company
_cc1994.
300 _a668 p. :
650 _94046
_aSystem design
_xGeneral
942 _2ddc
_cBK
999 _c63697
_d63697