Logic-Based Program Synthesis and Transformation

34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings

Vše od Springer International Publishing AG
ISBN: 9783031712937

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected...

Více o produktu


Nejprodávanější produkty v aktuálním měsíci.

1 615 Kč

1 - 2 ks
1 615 Kč
3 - 10 ks
1 599 Kč
11 a více ks
1 583 Kč

Naše cena 1 615 Kč je o 6 % nižší než
doporučená cena výrobce 1 719 Kč.

Předpoklad doručení do 27. května *

* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.

1 615 Kč 1 719 Kč

Nepřehlédněte od Springer International Publishing AG

Více o produktu

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions.

Výrobce
Springer International Publishing AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2024
Počet stran
241
Obsah
Paperback / softback
Počet stran
241 pages, 19 Illustrations, color; 38 Illustrations, black and white; XVI, 241 p. 57 illus., 19 ill

Zanechte své hodnocení

Budeme rádi, když se podělíte o svou zkušenost s Logic-Based Program Synthesis and Transformation a pomůžete tak ostatním zákazníkům při výběru.

Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!