Name: Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (en Inglés)
Price: 3418.00 UYU
Availability: InStock
Author: Schreiner, Wolfgang
ISBN: 9783030805098

portada Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (en Inglés)

Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (en Inglés)

Formato

Libro Físico

Autor

Wolfgang Schreiner

Editorial

Springer

Idioma

Inglés

N° páginas

636

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 3.4 cm

Peso

0.93 kg.

ISBN13

9783030805098

Categorías

Ciencia y análisis de datos: generalidades
Lógica matemática
Análisis y captura de datos

Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (en Inglés)

Wolfgang Schreiner (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

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

$ 5.697$ 3.418

-40%

Libro UsadoBuen Estado Importado

Envío: 16 a 23 días háb.

$ 2.890

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

Libro Nuevo

Quedan 100 unidades

$ 3.418

Llega entre el 22 Jul y el 30 Jul a Montevideo, Montevideo. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (en Inglés)"

Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Computer Programs.- Concurrent Systems.- References.- Index.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

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

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (en Inglés) - Schreiner, Wolfgang

Reseña del libro "Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre