hondana.org
本を探す

 


Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

Fms

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)

Yves Bertot Pierre Castéran
Springer
ISBN: 3540208542  紀伊國屋, Amazon, WebCat
カテゴリ
評  価
コメント
うち : ある日、こびとさんが付け足していった本。持ってないし表題からすると、守備範囲外のような気もするのだけれど…、買えってことなんだろうか?
他の本棚 orken, りんごスプーン, うち

最終更新 : 2012-03-03 04:27:34 +0900
カテゴリ
評  価
コメント

Fms