Opening book details…
About this nonfiction
面向计算机科学的数理逻辑 : 系统建模与推理 = Logic in computer science : modelling and reasoning about systems by [德] 哈斯 [英] 瑞安 is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- [德] 哈斯 [英] 瑞安
- Publisher
- Mechanical Industry Press Pub. Date :2007-07
- Published
- 2007
- Language
- ZH
- ISBN
- 9787111213970
- Category
- nonfiction
- Subjects
- Mathematics, Stem