Cover of Program Logics for Certified Compilers by Appel, Andrew W., Dockins, Robert, Hobor, Aquinas, ISBN 9781107048010
General

Program Logics for Certified Compilers

PROGRAM LOGICS FOR CERTIFIED C

Contributor(s): Author , Author , Author Format: Hardback

Hardback ยท ISBN 9781107048010

โ‚น12,345

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9781107048010
Subtitle PROGRAM LOGICS FOR CERTIFIED C
Publisher Cambridge University Press
Publication date June 2014
Language English
MRP ยฃ87.00 GBP
Page count 472
Item weight 176 g

Program Logics for Certified Compilers published by Cambridge University Press.