|
Belmont Abbey College - SPRING 2011 | ||
Section G | ||
Elementary Logic: For Software Development by Robert Lover Paperback, 314 Pages, Published 2008 ISBN-10: 1-84800-081-2 / 1848000812 ISBN-13: 978-1-84800-081-0 / 9781848000810 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, a |