Logic And Language Models For Computer Science (Fourth Edition)
Author:   Dana Richards (George Mason Univ, Usa) ,  Henry Hamburger (George Mason Univ, Usa)
Publisher:   World Scientific Publishing Co Pte Ltd
ISBN:  

9789811260667


Pages:   496
Publication Date:   07 March 2023
Format:   Hardback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $284.63 Quantity:  
Add to Cart

Share |

Logic And Language Models For Computer Science (Fourth Edition)


Add your own review!

Overview

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.

Full Product Details

Author:   Dana Richards (George Mason Univ, Usa) ,  Henry Hamburger (George Mason Univ, Usa)
Publisher:   World Scientific Publishing Co Pte Ltd
Imprint:   World Scientific Publishing Co Pte Ltd
ISBN:  

9789811260667


ISBN 10:   9811260664
Pages:   496
Publication Date:   07 March 2023
Audience:   College/higher education ,  Professional and scholarly ,  Tertiary & Higher Education ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now