SKU/Artículo: AMZ-B0BZPJBY4Y
Logic and Language Models for Computer Science
Format:
Kindle
Detalles del producto
Disponibilidad:
Fuera de stock
Fuera de stock
Peso con empaque:
0.79 kg
0.79 kg
Devolución:
Sí
Sí
Condición
Nuevo
Nuevo
Producto de:
Amazon
Amazon
Viaja desde
USA
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.
Fuera de stock
Selecciona otra opción o busca otro producto.
Este producto viaja
de USA ![]()
a tus manos en
![]()
a tus manos en
Conoce más detalles
Highlight, take notes, and search in the book
Compra protegida
Disfruta de una experiencia de compra segura y confiable
Tarjetas de Crédito y Débito
Visa
Mastercard
American Express
Pagos a través de PayPal
Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.
Paypal
Pagos a través de MODO
Compra procesada en pesos desde la App de tu banco.
PayPal
Tienes garantía de entrega 