SHARE
TWEET

any new books

Goojira Apr 20th, 2019 74 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Principles of Concurrent and Distributed Programming (2005)
  2. Principles of the Spin Model Checker (2008)
  3. Essentials of Programming Languages (3rd ed. was 2008)
  4. The Linux Programming Interface (2010)
  5. Cryptography Engineering (2010)
  6. Engineering a Compiler (2011)
  7. SSA book (2011)
  8. Systems Performance: Enterprise and the Cloud (2014)
  9. The Little Prover (2015)
  10. The Little Typer (2018)
  11. Certified Programming With Dependent Types (stable draft)
  12. Algorithms Etc. (stable draft)
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!
 
Top