Name: Logic-Based Program Synthesis and Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings (en Inglés)
Price: 233438.00 COP
Availability: InStock
Author: Fernández, Maribel
ISBN: 9783030684457

portada Logic-Based Program Synthesis and Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings (en Inglés)

Logic-Based Program Synthesis and Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Fernández, Maribel

Idioma

Inglés

N° páginas

345

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.9 cm

Peso

0.50 kg.

ISBN13

9783030684457

Categorías

Programación informática/desarrollo de software
Inteligencia artificial

Logic-Based Program Synthesis and Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings (en Inglés)

Fernández, Maribel (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 14 a 20 días háb.

$ 466.875$ 233.438

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 233.438

¡Envío Gratis! Llega entre el 25 Ago y el 03 Sep a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Logic-Based Program Synthesis and Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions. The book also contains two invited talks in full paper length. The contributions were organized in topical sections named: rewriting; unification; types; verification; model checking and probabilistic programming; program analysis and testing; and logics.