Certified Programming with Dependent Types

Certified Programming with Dependent Types

Print on demand - Ships in 1 to 3 months

$129.78
Unit price per

Certified Programming with Dependent Types
Author: Chlipala, Adam
Format: Paperback / softback

We Also Recommend

Light Fell

Together at the Table

Together at the Table

Saffire

Your Story

Beloved Physician

Beloved Physician