Logic and Language Models for Computer Science - Richards, Dana (George Mason University, USA) - 書籍 - World Scientific Publishing Co Pte Ltd - 9789811260667 - 2023年3月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Richards, Dana (George Mason University, USA)
Logic and Language Models for Computer Science Fourth edition

価格
¥ 20.665
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月27日 - 年11月12日
Richards, Dana (George Mason University, USA) の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.
show more

496 pages

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2023年3月7日
ISBN13 9789811260667
出版社 World Scientific Publishing Co Pte Ltd
ページ数 496
寸法 150 × 220 × 20 mm   ·   830 g

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

Richards, Dana (George Mason University, USA)のすべてを見る