Program Logics for Certified Compilers

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

1/1

Prices from

25.00

Featured

Description

Program Logics for Certified Compilers

Compare webshops (2)

Shop

Price

£ 25.00

To Shop

£ 25.00

To Shop

Description (0)

Program Logics for Certified Compilers

Brand	Cambridge University Press
EAN	9781107048010

CreateSpace Independent Publishing Platform

Certified Security Manager Training Program

Independently Published

Certified Unbound Program (CUP) Facilitator Guide

Springer

Protoalgebraic Logics

Independently Published

KINGDOM COMMUNITY CHAPLAIN Certification Program: CERTIFIED (CKCC)