Lover, Robert.
Elementary Logic For Software Development / [electronic resource] : by Robert Lover. - London : Springer London, 2008. - digital.
9781848000827
10.1007/978-1-84800-082-7 doi
Computer science.
Logic design.
Computer Science.
Logics and Meanings of Programs.
QA76.9.L63 QA76.5913 QA76.63
005.1015113
Elementary Logic For Software Development / [electronic resource] : by Robert Lover. - London : Springer London, 2008. - digital.
9781848000827
10.1007/978-1-84800-082-7 doi
Computer science.
Logic design.
Computer Science.
Logics and Meanings of Programs.
QA76.9.L63 QA76.5913 QA76.63
005.1015113