Lover, Robert.
Elementary Logic For Software Development / [electronic resource] :
by Robert Lover.
- London : Springer-Verlag London, 2008.
- v.: digital
9781848000827
Computer science
Logic design
Computer Science
Logics and Meanings of Programs
QA76.76.D47 / L68 2008