データ種別 | 図書 |
---|---|
出版者 | Oxford : Clarendon Press |
出版者 | New York ; Tokyo : Oxford University Press |
本文言語 | und |
1 | An introduction to discrete mathematics, formal system specification, and Z / D.C. Ince : hbk.,: pbk.. - 2nd ed. - Oxford : Clarendon Press. - New York : Oxford University Press , 1992 |
一般注記 | General editors: R.F. Churchhouse, W.F. McColl, and A.B. Tayler |
---|---|
著者標目 | Churchhouse, R. F. McColl, W. F. Tayler, Alan B |
書誌ID | 2000031712 |
NCID | BA00069306 |