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

书目详细资料
主要作者:	Chlipala, Adam 1981- (Author)
格式:	Electronic Resource
语言:	English
出版:	Cambridge, Massachusetts The MIT Press [2013]
主题:	Electronic books. Coq (Electronic resource) Automatic theorem proving > Computer programs. Computer programming.
在线阅读:	Click here to access thru EZproxy Click here to access