|
|
Book Data
Library: University of Reading (UK)
Last Loaded: 07/25/2004
MARC Timestamp: Unknown
Control Number Org.:
Control Number:
MARC Record
Download ASCII MARC
|
Download Binary MARC
000 00847cam 2200229 a 45n0
008 001017s1992 xxk 0 eng u
009 CS
020 $a0198538367
100 1 $aInce, D.C.
245 13 $aAn introduction to discrete mathematics and
formal system specification, and Z /$cD.C. Ince.
250 $a2nd ed.
260 $aOxford :$bClarendon Press,$c1992.
300 $ax,286p.
440 0 $aOxford applied mathematics and computing science
series
500 $aFirst published as: An introduction to discrete
mathematics and formal system specification, 1988.
596 $a1
650 0 $aComputer science$xMathematics.
650 0 $aFormal methods (Computer science)
650 0 $aZ (Computer program language)
650 0 $aSystem design.
740 2 $aAn introduction to discrete mathematics and
formal system specification
970 0 $k004.0151
|
 |
|
|
