Name: Logic-Based Program Synthesis and Transformation: 30th International Symposium, Lopstr 2020, Bologna, Italy, September 7-9, 2020, Proceedings (en Inglés)
Price: 438177.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)

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

$ 438.177

$ 730.294

Ahorras: $ 292.118

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 29 de Julio y el Lunes 12 de Agosto.

Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.

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.