Computer Systems : Theory, Technology, and Applications
Andrew James Herbert
Download Now
Format: eBook (PDF)
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver
Download Now
Format: eBook (PDF)
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Iman Poernomo
Download Now
Format: eBook (PDF)
A Discipline of Multiprogramming : Programming Theory for Distributed Applications
Jayadev Misra
Download Now
Format: eBook (PDF)
ML with Concurrency : Design, Analysis, Implementation, and Application
Flemming Nielson
Download Now
Format: eBook (PDF)
Mathematical Foundations of Computer Science : Sets, Relations, and Induction
Peter A. Fejer
Download Now
Format: eBook (PDF)