devlibrary
Categories
← Books

Andrew W Appel

Author · 2 books in the library

  • ▦

    Software Foundations Vol 5: Verifiable C

    by Andrew W Appel , Lennart Beringer , Qinxiang Cao

    Software engineering , C

    Open ↗
  • ▦

    Software Foundations Vol 3: Verified Functional Algorithms

    by Andrew W Appel

    Software engineering

    Open ↗

A hand-maintained list of free technical books.

Books Categories

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect