Bookscovery
Search
Browse books
Books by author
Books by title
Books by popularity
My lists
Sign in
Sign up
Home
>
Authors
> Sandrine Blazy
Sandrine Blazy
All books by Sandrine Blazy
(
Displaying 2 Books
)
Program Logics for Certified Compilers
Andrew W. Appel
Verified Software. Theories, Tools, and Experiments
Sandrine Blazy
Looking for another book by Sandrine Blazy?
Search for the book
by title.