Programming Distributed Computing Systems : A Foundational Approach
Carlos A. Varela
Download Now
Format: eBook (PDF)
Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant
Adam Chlipala
Download Now
Format: eBook (PDF)
Processing : A Programming Handbook for Visual Designers and Artists
Casey Reas
Download Now
Format: eBook (PDF)