Certified programming with dependent types a pragmatic introduction to the Coq proof assistant

Manylion Llyfryddiaeth
Prif Awdur:	Chlipala, Adam 1981- (Awdur)
Fformat:	Electronic Resource
Iaith:	English
Cyhoeddwyd:	Cambridge, Massachusetts The MIT Press [2013]
Pynciau:	Electronic books. Coq (Electronic resource) Automatic theorem proving > Computer programs. Computer programming.
Mynediad Ar-lein:	Click here to access thru EZproxy Click here to access