Search results for ‘Dana Richards (George Mason Univ, Usa),Henry Hamburger (George Mason Univ, Usa)’

Filter & Refine

      Cover image for Logic And Language Models For Computer Science (Fourth Edition)
      Hardback
      Add to list Added to list

      Logic And Language Models For Computer Science (Fourth Edition)

      Dana Richards (George Mason Univ, Usa),Henry Hamburger (George Mason Univ, Usa)

      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…

      $322.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Logic And Language Models For Computer Science (Third Edition)
      Hardback
      Add to list Added to list

      Logic And Language Models For Computer Science (Third Edition)

      Dana Richards (George Mason Univ, Usa),Henry Hamburger (George Mason Univ, Usa)

      This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The…

      $264.99

      Available to order, ships in 7-14 daysAvailable to order

      Cover image for Logic And Language Models For Computer Science (Third Edition)
      Paperback
      Add to list Added to list

      Logic And Language Models For Computer Science (Third Edition)

      Dana Richards (George Mason Univ, Usa),Henry Hamburger (George Mason Univ, Usa)

      This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The…

      $156.99

      Available to order, ships in 7-14 daysAvailable to order