お店のコメント(スペック情報を含む場合もあり)
内容説明 This textbook-like tutorial is a self-contained introduction to interactive proof, specification, and verification in higher-order logic, using the proof assistant Isabelle 2002. In contrast to existing Isabelle documentation, this book provides a direct route into higher-order logic by bypassing first-order logic and minimizing discussion of meta-theory.
Isabelle is a generic system for implementing logical formalisms, and Isabelle/HOL is the specialization of Isabelle for higher-order logic; this theorem prover is well suited as a specification and verification system.
商品ジャンル
商品名
Isabelle/Hol: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science) [ペーパーバック]
最終調査日時
2012/11/23 (Fri) 20:18:24
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2012/11/23 (Fri) 20:18:24
¥5,825
0 %
¥5,825
2012/02/02 (Thu) 22:13:02
¥5,643
0 %
¥5,643
2012/01/06 (Fri) 20:22:34
¥5,635
0 %
¥5,635
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告