|
ComputingReviews.com
|
Certified programming with dependent types :a pragmatic introduction to the Coq proof assistant Chlipala A., The MIT Press,Cambridge, MA,2013. 440 pp. Type:Book |
|
|
|
Published By: The MIT Press |
|
|
|
|
|
|
|
|
You can purchase a book without having a subscription.
|
|
|
|
|
|
|