Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Logic And Language Models For Computer Science (fourth...
Imagen de archivo
Logic And Language Models For Computer Science (fourth Edition)
Librería: Textbooks_Source, Columbia, MO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: New. 4th Edition. Ships in a BOX from Central Missouri! UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Nº de ref. del artículo: 009470886N
Comprar nuevo
EUR 73,23
Envío por EUR 3,39
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 6 disponibles
Imagen del vendedor
Logic and Language Models for Computer Science
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Nº de ref. del artículo: 44947231-5
Comprar usado
EUR 75,98
Envío por EUR 2,24
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic and Language Models for Computer Science
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Nº de ref. del artículo: 44947231-5
Comprar usado
EUR 83,36
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Logic and Language Models for Computer Science
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 44947231
Comprar usado
EUR 110,67
Envío por EUR 2,24
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Logic and Language Models for Computer Science
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 44947231-n
Comprar nuevo
EUR 125,79
Envío por EUR 2,24
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen de archivo
Logic And Language Models For Computer Science (Fourth Edition) (Hardcover)
Publicado por
World Scientific Publishing Co Pte Ltd, Singapore, 2023
ISBN 10: 9811260664
ISBN 13: 9789811260667
Nuevo
Tapa dura
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: new. Hardcover. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9789811260667
Comprar nuevo
EUR 128,10
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic And Language Models For Computer Science (Fourth Edition)
Publicado por
World Scientific Publishing Co Pte Ltd, 2023
ISBN 10: 9811260664
ISBN 13: 9789811260667
Nuevo
Tapa dura
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: CX-9789811260667
Comprar nuevo
EUR 130,23
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Logic And Language Models For Computer Science (Fourth Edition)
Publicado por
World Scientific Publishing Co Pte Ltd, 2023
ISBN 10: 9811260664
ISBN 13: 9789811260667
Nuevo
Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: CX-9789811260667
Comprar nuevo
EUR 124,02
Envío por EUR 6,78
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen del vendedor
Logic and Language Models for Computer Science
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 44947231
Comprar usado
EUR 118,79
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Logic and Language Models for Computer Science
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 44947231-n
Comprar nuevo
EUR 124,01
Envío por EUR 17,32
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 4 disponibles