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

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue