Certified Programming with Dependent Types

Record Detail Back

XML

Certified Programming with Dependent Types

Statement of Responsibility

Author(s)

Adam Chlipala - Personal Name

Edition

Call Number

ISBN/ISSN

Subject(s)

Classification

NONE

Series Title

GMD

Information Technology

Language

English

Publisher

Publishing Year

Publishing Place

Collation

Specific Detail Info

File Attachment

LOADING LIST...

Availability

LOADING LIST...