Programming Logic & Design, Comprehensive

Logic-Based Program Synthesis and Transformation - 9783030988685

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

Programming Language Design and Implementation - 9783031118081

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