Foundation Of Computation: Languages And Machines

Theory of Computation: A Simplified Foundational Approach to Automata, Languages, and Computability

The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

Arcanium Programming Foundations: A Security-Focused Language for Encrypted Logic Verifiable Execution and Safe Computing

Foundations French 1 (Bloomsbury Foundation Languages)