Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
KIRJAUDU
Logic-Based Program Synthesis and Transformation : 35th International Symposium, LOPSTR 2025, Rende, Italy, September
80,50 €
Springer
Sivumäärä: 213 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2025, 13.09.2025 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 16117
Sivumäärä: 213 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2025, 13.09.2025 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 16117
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.
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.
Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Tilaustuote
Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa
Näytä kaikki tuotetiedot
ISBN:
9783032048479
Asiasanat:
Aihealue: