Isabelle: a Generic Theorem Prover - Lecture Notes in Computer Science - Lawrence C. Paulson - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540582441 - 1994年7月28日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Lawrence C. Paulson
Isabelle: a Generic Theorem Prover - Lecture Notes in Computer Science 1994 edition

価格
¥ 8.934
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月7日 - 年8月19日
Lawrence C. Paulson の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

329 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1994年7月28日
ISBN13 9783540582441
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 329
寸法 156 × 234 × 18 mm   ·   494 g
言語 英語  
寄稿者 T. Nipkow

同じ出版社からのその他の記事

Lawrence C. Paulsonのすべてを見る ( 例： Paperback Book )