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...
| Main Author: | Lover, Robert (Author) |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
London :
Springer London,
2008.
|
| Subjects: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings /
Published: (2008) -
Computer Aided Verification 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings /
Published: (2009) -
Component Deployment Second International Working Conference, CD 2004, Edinburgh, UK, May 20-21, 2004. Proceedings /
Published: (2004) -
Component Deployment Third International Working Conference, CD 2005, Grenoble, France, November 28-29, 2005. Proceedings /
Published: (2005) -
Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures /
Published: (2007)