Name: Logic and Language Models for Computer Science (Fourth Edition)
SKU: 54679108
Price: 153.81 EUR
Availability: InStock
Author: Richards, Dana ; Hamburger, Henry
ISBN: 9789811260667

portada Logic and Language Models for Computer Science (Fourth Edition)

Logic and Language Models for Computer Science (Fourth Edition)

Type

Physical Book

Author

Dana Richards

Henry Hamburger

Publisher

World Scientific Publishing Company

Language

English

Pages

496

Format

Hardcover

Dimensions

22.9x15.2x2.7 cm

Weight

0.83 kg.

ISBN13

9789811260667

Synopsis "Logic and Language Models for Computer Science (Fourth Edition) "

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Logic and Language Models for Computer Science (Fourth Edition) - Richards, Dana ; Hamburger, Henry

Synopsis "Logic and Language Models for Computer Science (Fourth Edition) "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery