PakCat catalogue record

Certified Programming With Dependent Tyeps

By Chlipala, Adam

Bibliographic details

ISBN
9780262026659
Publisher
The MIT Press
Publication place
London
Publication year
2013
Material type
Book
Physical description
424

Subjects

Automatic theoram provins -computer programs, Coq ( Electronic Resources ) Computer programming