Elementary Logic - For Software Development
The ability to reason correctly is critical to most aspects of computer science and to software development in particular. This book teaches readers how to better reason about software development, to communicate reasoning, to distinguish between good and bad reasoning, and to read professional lite...
Saved in:
主要作者: | Lover, Robert |
---|---|
格式: | 圖書 |
語言: | English |
出版: |
Springer
2017
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/26023 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
相似書籍
-
Computational Logic in Multi-Agent Systems
由: Jaime G. Carbonell, Jörg Siekmann, Fariba Sadri, Ken Satoh.
出版: (2017) -
Agent-Oriented Information Systems IV
出版: (2017) -
Algorithms and Architectures for Parallel Processing
出版: (2017) -
Issues in multi-agent systems : the AgentCities, ES experience
出版: (2017) -
Human-Centric Information Processing Through Granular Modelling
出版: (2017)