Description

Book Synopsis
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

Product form

£99.00

Includes FREE delivery

RRP £110.00 – you save £11.00 (10%)

Order before 4pm today for delivery by Tue 20 Jan 2026.

A Hardback by Dana Richards, Henry Hamburger

Out of stock


    View other formats and editions of Logic And Language Models For Computer Science by Dana Richards

    Publisher: World Scientific Publishing Co Pte Ltd
    Publication Date: 07/03/2023
    ISBN13: 9789811260667, 978-9811260667
    ISBN10: 9811260664
    Also in:
    Computer architecture and logic design

    Description

    Book Synopsis
    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.

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account