Title: Elementary logic for software development
First published: 2008
Subjects: Development, Methodology, Reasoning, Computer software, Computer software, development
LC classification: QA76.76.D47 L68 2008