£68.00
Structure and Interpretation of Computer Programs
£68.00
Program Proofs
Structure
Introduction to Algorithms: From Theory to Practical Projects
Type-Logical Syntax
Art of Computer Programming, Volume 4, Fascicle 7, The
Introduction to the Analysis of Algorithms, An
Formal Languages and Compilation
Mathematical Structure of Syntactic Merge
Principles of Verification: Cycling the Probabilistic Landscape
Principles of Verification: Cycling the Probabilistic Landscape
Principles of Verification: Cycling the Probabilistic Landscape
Automata Theory