Name: Logic-Based Program Synthesis and Transformation: 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (en Inglés)
Price: 81.89 EUR
Availability: InStock
Author: Villanueva, Alicia
ISBN: 9783031167669

portada Logic-Based Program Synthesis and Transformation: 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Villanueva, Alicia

Idioma

Inglés

N° páginas

155

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 0.9 cm

Peso

0.25 kg.

ISBN13

9783031167669

Categorías

Programación informática - desarrollo de software
Ciencias de la computación

Logic-Based Program Synthesis and Transformation: 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (en Inglés)

Villanueva, Alicia (Autor) · Springer · Tapa Blanda

Libro Nuevo

81,89 €

86,20 €

Ahorras: 4,31 €

5% descuento

Envío normal

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

Se enviará desde nuestra bodega entre el Miércoles 24 de Julio y el Lunes 12 de Agosto.

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

Reseña del libro "Logic-Based Program Synthesis and Transformation: 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

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: 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (en Inglés) - Villanueva, Alicia

Reseña del libro "Logic-Based Program Synthesis and Transformation: 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (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