Program Logics for Certified Compilers

Name: Program Logics for Certified Compilers
Brand: Cambridge University Press
SKU: fe0b754d32587ae0decc54b03ab203c5

1/1

Prices from

85.99

Description

Program Logics for Certified Compilers

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 85.99

Description (0)

Program Logics for Certified Compilers

Brand	Cambridge University Press
EAN	9781107048010

PROGRAM analysis and OPTIMIZATION IN STATIC COMPILERS: Flow symbolic execution performance diagnostics

CreateSpace Independent Publishing Platform

Certified Security Manager Training Program

Springer

Protoalgebraic Logics

Col Legno

ORGANO / LOGICS