Logic-Based Program Synthesis and Transformation

31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021, Proceedings

Vše od Springer Nature Switzerland AG
ISBN: 9783030988685

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed...

Více o produktu


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

1 469 Kč

1 - 2 ks
1 469 Kč
3 - 10 ks
1 454 Kč
11 a více ks
1 440 Kč

Naše cena 1 469 Kč je o 6 % nižší než
doporučená cena výrobce 1 562 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 469 Kč 1 562 Kč

Nepřehlédněte od Springer Nature Switzerland AG

Více o produktu

This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.*The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed submissions.

Výrobce
Springer Nature Switzerland AG
Jazyk
Switzerland
Rozměry
235 x 155
Rok vydání
2022
Počet stran
177
Obsah
Paperback / softback
Počet stran
177 pages, 26 Illustrations, color; 34 Illustrations, black and white

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!