90折
Logic and Language Models for Computer Science (Fourth Edition)
商品資訊
ISBN13：9789811260667
出版社：World Scientific Pub Co Inc
作者：Dana Richards
出版日：2022/12/21
裝訂：精裝
定價
：NT$ 4410 元優惠價
：
90 折 3969 元
無庫存，下單後進貨(採購期約4~10個工作天)
下單可得紅利積點：119 點
商品簡介
商品簡介
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.
購物須知
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。