Brains, Machines, and Mathematics
Michael A. Arbib
Download - Immediately Available
Format: eBook (PDF)
Algebraic Approaches to Program Semantics
Ernest G. Manes
Download - Immediately Available
Format: eBook (PDF)
A Programming Approach to Computability
A.J. Kfoury
Download - Immediately Available
Format: eBook (PDF)
The Design of Well-Structured and Correct Programs
Suad Alagic
Download - Immediately Available
Format: eBook (PDF)
An Introduction to Formal Language Theory
Robert N. Moll
Download - Immediately Available
Format: eBook (PDF)