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 tomorrow for delivery by Fri 19 Jun 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

      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