Coqによる定理証明 : Coqでスタック指向プログラミング

坂口和彦 著

この本の情報

書名 Coqによる定理証明 : Coqでスタック指向プログラミング
著作者等 坂口和彦
書名ヨミ Coq ニ ヨル テイリ ショウメイ : Coq デ スタック シコウ プログラミング
書名別名 Coq ni yoru teiri shomei
出版元 坂口和彦
刊行年月 2012.8
ページ数 43p
大きさ 21cm
全国書誌番号
22119085
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想