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:
Main Author: | Lover, Robert |
---|---|
Format: | Book |
Language: | English |
Published: |
Springer
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/26023 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
Computational Logic in Multi-Agent Systems
by: Jaime G. Carbonell, Jörg Siekmann, Fariba Sadri, Ken Satoh.
Published: (2017) -
Agent-Oriented Information Systems IV
Published: (2017) -
Algorithms and Architectures for Parallel Processing
Published: (2017) -
Issues in multi-agent systems : the AgentCities, ES experience
Published: (2017) -
Human-Centric Information Processing Through Granular Modelling
Published: (2017)