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.
Logic And Language Models For Computer Science (Fourth Edition)
$2,478.00
ISBN
9789811260667
Categories Computer architecture & logic design, COMPUTER SCIENCE, COMPUTING AND INFORMATION TECHNOLOGY
Weight | 30.16 kg |
---|---|
ISBN13 | |
Author | |
Publisher | |
Binding | |
Lenguage | |
Publish Year | |
Edition | |
Pages |
Related products
-
CompTIA Security+ Certification Boxed Set (Exam SY0-301) (Certification Press)
$1,470.00 Add to cartRated 0 out of 5 -
Kinect Open Source Programming Secrets: Hacking the Kinect with OpenNI, NITE, and Java
$672.00 Add to cartRated 0 out of 5 -
SAP Business Information Warehouse Reporting: Building Better BI with SAP BI 7.0
$1,533.00 Add to cartRated 0 out of 5