Logic-Based Program Synthesis and Transformation
Forfatter: info mangler
- Format
- Bog, paperback
- Engelsk
- Indgår i serie
Normalpris
kr. 509,95
Medlemspris
kr. 479,95
- Du sparer kr. 30,00
- Fri fragt
-
Leveringstid: 7-9 Hverdage (Sendes fra fjernlager) Forventet levering: 27-02-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
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.
Detaljer
- SprogEngelsk
- Sidetal213
- Udgivelsesdato17-10-2025
- ISBN139783032048479
- Forlag Springer International Publishing AG
- MålgruppeFrom age 0
- FormatPaperback
Størrelse og vægt
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.