| Type |  Book |
| ชื่อเรื่อง | An introduction to discrete mathematics and formal system specification / D. C. Ince |
| ผู้แต่ง | Ince, D. c. (darrel c.) |
| ISBN | 0198596642 |
| | 0198596677 |
| | 0-19-859664-2 (pbk.) |
| พิมพลักษณ์ | Oxford : Oxford University Press, 1988 |
| | Oxford : Clarendon Press, c1988 (1991 printing) |
| รูปเล่ม | 349 p |
| หัวเรื่อง | Computer science |
| | Computer science --Mathematics [] |
| | Electronic data processing --Mathematics [] |
| | Mathematics |
| | System design |