Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Logic-Based Program Synthesis and Transformation

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

Laura Titolo

Language

English

Book Paperback

Libristo code: 49343228

Publishers Springer-Verlag GmbH, October 2025

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synth... Full description

Libristo code: 49343228

153 b

62.39 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

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

Paperback

45.79 €

Grisel, al pie del Moncayo AZAGRA MURILLO

Paperback

9.29 €

LAS AVENTURAS DE RUA 1

Book

21.69 €

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

Paperback

37.29 €

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.