言語: 日文

南開科技大學

圖書館首頁

編目中圖書申請

ログイン

言語

英語 (1)

跳ぶ : 概観 | タイトル | 主題

Chlipala, Adam,1981-

概観

著作:	1 作品に 1 出版物中に 1 言語

タイトル

Certified programming with dependent types :a pragmatic introduction to the Coq proof assistant / …で: Chlipala, Adam,1981- (言語・文字資料 (印刷物))

主題

Automatic theorem proving- Computer programs. Coq (Electronic resource) Computer programming.

パスワードを変更する

ログイン