Program Logics for Certified Compilers > Editions

by Andrew W. Appel First published March 5th 2014

Sort by
Format
Language
Editions
Showing 1-8 of 8
Program Logics for Certified Compilers
Program Logics for Certified Compilers (Hardcover)
Published April 21st 2014 by Cambridge University Press
1, Hardcover, 472 pages
Author(s):
ISBN:
9781107048010 (ISBN10: 110704801X)
ASIN:
110704801X
Edition language:
English
Average rating:
4.00 (4 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Program Logics for Certified Compilers
Program Logics for Certified Compilers (Kindle Edition)
Published April 21st 2014 by Cambridge University Press
1, Kindle Edition, 472 pages
Author(s):
ISBN:
9781316181812 (ISBN10: 1316181812)
ASIN:
B00P82T41G
Edition language:
English
Average rating:
4.67 (3 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Program Logics for Certified Compilers by Andrew W. Appel (2014-04-21)
Program Logics for Certified Compilers by Andrew W. Appel (2014-04-21)
Published January 1st 1882 by Cambridge University Press
Hardcover, 0 pages
Author(s):
ASIN:
B01FIXB9SU
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Program Logics for Certified Compilers by Appel, Andrew W. (2014) Hardcover
Program Logics for Certified Compilers by Appel, Andrew W. (2014) Hardcover
Published by Cambridge University Press
Hardcover, 0 pages
Author(s):
ASIN:
B00YDJ62TM
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Program Logics for Certified Compilers 1st edition by Appel, Andrew W. (2014) Hardcover
Program Logics for Certified Compilers 1st edition by Appel, Andrew W. (2014) Hardcover
Published by Cambridge University Press
1, Hardcover, 0 pages
Author(s):
ASIN:
B011DCB0G6
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Program Logics for Certified Compilers
Program Logics for Certified Compilers (Unknown Binding)
Unknown Binding, 0 pages
Author(s):
ASIN:
B01EQ5NHBI
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Program Logics for Certified Compilers
Program Logics for Certified Compilers (ebook)
Published August 5th 2014 by Cambridge University Press
ebook, 0 pages
Author(s):
ISBN:
9781107256552 (ISBN10: 1107256550)
ASIN:
1107256550
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Program Logics for Certified Compilers
Program Logics for Certified Compilers (Kindle Edition)
Published March 5th 2014 by Cambridge University Press
Kindle Edition, 472 pages
Author(s):
ISBN:
9781139899383 (ISBN10: 1139899384)
ASIN:
1139899384
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page