Name: Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel (en Inglés)
Price: 97892.00 ARS
Availability: InStock
Author: Mesnard, Fred ; Stuckey, Peter J.
ISBN: 9783030138370

portada Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel (en Inglés)

Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Mesnard, Fred ; Stuckey, Peter J.

Idioma

Inglés

N° páginas

203

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.2 cm

Peso

0.32 kg.

ISBN13

9783030138370

Categorías

Compiladores e intérpretes
Lenguajes de programación y extensión/scripting: general

Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel (en Inglés)

Mesnard, Fred ; Stuckey, Peter J. (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 13 a 19 días háb.

$ 195.785$ 97.892

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 97.892

Llega entre el 20 Ago y el 28 Ago a C.A.B.A., Ciudad Autónoma de Buenos Aires. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel (en Inglés)"

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.

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

Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel (en Inglés) - Mesnard, Fred ; Stuckey, Peter J.

Reseña del libro "Logic-Based Program Synthesis and Transformation: 28th International Symposium, Lopstr 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Sel (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