Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Logic-Based Program Synthesis and Transformation

Name: Logic-Based Program Synthesis and Transformation
Brand: Springer-Verlag GmbH
SKU: 49343228
Price: 65.59 EUR
Availability: InStock
Author: Laura Titolo
ISBN: 9783032048479

Laura Titolo

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 49343228

Editores Springer-Verlag GmbH, octubre 2025

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synth... Descripción completa

Código Libristo: 49343228

161 b

65.59 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Gestion Formativa Investigativa Universitaria Martha Virginia Díaz Alarcón

Tapa blanda

48.29 €

Grisel, al pie del Moncayo AZAGRA MURILLO

Tapa blanda

8.69 €

LAS AVENTURAS DE RUA 1

Libro

20.09 €

Impacto da gestão de stocks no desempenho da empresa Suleman Bawa

Tapa blanda

39.39 €

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9 10, 2025.

The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from 21 submissions. These papers cover all 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.