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