Logic And Language Models For Computer Science - Richards, Dana (George Mason Univ, Usa) - Books - World Scientific Publishing Co Pte Ltd - 9789811260667 - March 7, 2023
In case cover and title do not match, the title is correct

Richards, Dana (George Mason Univ, Usa)
Logic And Language Models For Computer Science Fourth edition

Price
$ 131.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 7, 2023
ISBN13 9789811260667
Publishers World Scientific Publishing Co Pte Ltd
Pages 496
Dimensions 150 × 220 × 20 mm   ·   830 g

Mere med samme udgiver

See all of Richards, Dana (George Mason Univ, Usa) ( e.g. Hardcover Book and Paperback Book )