Programming Logic & Design, Comprehensive

Logic and Computer Design Fundamentals, Global Edition

Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)

Fundamentals of Software Engineering: Comprehensive insights into SDLC design quality and AI/ML in software - 2nd Edition

Logic Programming with Prolog - 9781447154860