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

書誌詳細
第一著者:	Chlipala, Adam 1981- (著者)
フォーマット:	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