ページに戻る

ズーム ロールオーバーで画像拡大

Logic and Language Models for Computer Science (Third Edition)

Richards, Dana/ Hamburger, Henry
106.20 SGD
会員価格
95.58
English

Product Description

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.
... Read Full Text

This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.

... Read Full Text

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.

ご注文金額 50.00SGD以上で国内送料無料

Discount is applied at checkout.

Recently Viewed Items

Related Products