portada Logic and Language Models for Computer Science (Fourth Edition) (en Inglés)

Logic and Language Models for Computer Science (Fourth Edition) (en Inglés)

Formato

Libro Físico

Autor

Dana Richards

Henry Hamburger

Editorial

World Scientific Publishing Company

Idioma

Inglés

N° páginas

496

Encuadernación

Tapa Dura

Dimensiones

22.9x15.2x2.7 cm

Peso

0.83 kg.

ISBN13

9789811260667

Categorías

Lenguajes de programación y extensión/scripting: general
Arquitectura y diseño lógico de ordenadores
Lenguaje natural y traducción automática

Logic and Language Models for Computer Science (Fourth Edition) (en Inglés)

Dana Richards (Autor) · Henry Hamburger (Autor) · World Scientific Publishing Company · Tapa Dura

Libro Nuevo Importado

Envío: 20 a 27 días háb.

$ 291.47$ 145.74

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 100 unidades

$ 145.74

Llega entre el 14 Sep y el 25 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Logic and Language Models for Computer Science (Fourth Edition) (en Inglés)"

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.