Books by Andrew W Appel

2 books

Software Foundations Vol 5: Verifiable C

by Andrew W Appel , Lennart Beringer , Qinxiang Cao

Software engineering C

Read
Software Foundations Vol 3: Verified Functional Algorithms

by Andrew W Appel

Software engineering

Read