000 00579 a2200193 4500
020 _a0198596642
041 _aEn
082 _a004.0151
_bINC
100 _aInce , D.C.
245 _aAn introduction to discrete mathematics and fomal system specification
260 _c1988
_aNew York
_bOxford
_g1988
300 _c20 cm.
_a349 p.
650 _aCOMPUTER SCIENCE
650 _aELECTRONIC DATA PROCESSING - MATHEMATICS
650 _aSYSTEM DESIGN
650 _aCOMPUTER MATHEMATICS
700 _aBuxton , J.N. ;ed. ;Churchhouse , R.F. ;ed. ;Travler , A.B. ;ed.
942 _cSR
999 _c13398
_d14945