Program Logics for Certified Compilers

Program Logics for Certified Compilers

EnglishEbook
Appel, Andrew W.
Cambridge University Press
EAN: 9781139899383
Available online
€111.87
Common price €124.30
Discount 10%
pc
EAN 9781139899383
ISBN 1139899384
Binding Ebook
Publisher Cambridge University Press
Publication date April 21, 2014
Language English
Country Uruguay
Authors Appel, Andrew W.
Manufacturer information
The manufacturer's contact information is currently not available online, we are working intensively on the axle. If you need information, write us on [email protected], we will be happy to provide it.