logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Program Logics for Certified Compilers - Andrew W Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer
Program Logics for Certified Compilers
by: (author) (author) (author) (author)
Format: hardcover
ISBN: 9781107048010 (110704801X)
ASIN: 110704801X
Publisher: Cambridge University Press
Pages no: 472
Edition language: English
Bookstores:
Other editions (1)
Books by Lennart Beringer
Books by Andrew W Appel
Books by Robert Dockins
Books by Aquinas Hobor
Share this Book
Need help?