SKU/Artículo: AMZ-B0BZPJBY4Y

Logic and Language Models for Computer Science

Format:

Kindle

Hardcover

Kindle

Detalles del producto
Disponibilidad:
En stock
Peso con empaque:
0.97 kg
Devolución:
No
Condición
Nuevo
Producto de:
Amazon
Viaja desde
USA

Sobre este producto
  • 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. Readership: Researchers, professionals, academics, and graduate students in theoretical computer science.
U$S 71,96
49% OFF
U$S 36,90

IMPORTÁ FACIL

Comprando este producto podrás descontar el IVA con tu número de RUT

NO CONSUME FRANQUICIA

Si tu carrito tiene solo libros o CD’s, no consume franquicia y podés comprar hasta U$S 1000 al año.

U$S 71,96
49% OFF
U$S 36,90

¡Comprá en hasta 12 cuotas sin interés con todas tus tarjetas!

Llega en 15 a 25 días hábiles
con envío
Tienes garantía de entrega

Conoce más detalles

Highlight, take notes, and search in the book