An introduction to discrete mathematics, formal system specification, and Z / D.C. Ince
| データ種別 | 図書 |
|---|---|
| 版 | 2nd ed |
| 出版者 | Oxford : Clarendon Press |
| 出版者 | New York : Oxford University Press |
| 出版年 | 1992 |
| 本文言語 | 英語 |
| 大きさ | x, 286 p. : ill. ; 24 cm |
所蔵情報を非表示
1
秋田公立美術大学
| 配架場所 | 巻 次 | 請求記号 | 登録番号 | 状 態 | コメント | ISBN | 刷 年 | 利用注記 | 予約 | 指定図書 |
|---|---|---|---|---|---|---|---|---|---|---|
| 閉架書庫 |
|
007.61 || I54 | 0097727 |
|
0198538375 | 1992 |
|
|
書誌詳細を非表示
| 一般注記 | Updated ed. of: An introduction to discrete mathematics and formal system specification. 1988 Includes bibliographical references |
|---|---|
| 著者標目 | *Ince, Darrel C. |
| 件 名 | LCSH:Computer science -- Mathematics LCSH:System design |
| 分 類 | LCC:QA76.9.M35 DC20:005.1/1 |
| 書誌ID | 2000031713 |
| ISBN | 0198538375 |
| NCID | BA19314755 |
類似資料
-
1
Principles of object-oriented analysis and design / James Martin
-
2
Object-oriented analysis and design with applications / Grady Booch
-
3
Object-oriented specification and design with C++ / Peter Henderson
-
4
Software design methods for concurrent and real-time systems / Hassan Gomaa
-
5
Discrete mathematics / Richard Johnsonbaugh
-
6
Discrete mathematics for new technology / Rowan Garnier, John Taylor : hbk,: pbk
-
7
Design problem solving : knowledge structures and control strategies / David C. Brown, B. Chandrasekaran : uk,: us
-
8
Design and development of knowledge-based systems : from life cycle to methodology / Giovanni Guida, Carlo Tasso
-
9
Numerical methods for CAD / Yvon Gardan
-
10
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / B. Rovan, ed : gw,: us