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 4 Aug 2026.

    A Hardback by Dana Richards, Henry Hamburger

    Out of stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      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: Publication Date: 07/03/2023
      ISBN13: 9789811260667, 978-9811260667
      ISBN10: 9811260664

      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