Handbook of Practical Logic and Automated Reasoning - John Harrison - 書籍 - Cambridge University Press - 9780521899574 - 2009年3月12日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

John Harrison
Handbook of Practical Logic and Automated Reasoning

価格
¥ 29.223
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月27日 - 年11月12日
John Harrison の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).

702 pages, 10 tables 155 exercises

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2009年3月12日
ISBN13 9780521899574
出版社 Cambridge University Press
ページ数 702
寸法 179 × 252 × 42 mm   ·   1,41 kg
言語 英語  

John Harrisonの他の作品を見る

すべて表示

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

John Harrisonのすべてを見る