Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč
PPL shop 49 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Balíkovna 49 Kč
Výdejní místo DPD 49 Kč
Zásilkovna 39 Kč
Kontakt
Jak nakupovat
Pomoc
Doručení
Kurýr DPD 69 Kč
PPL shop 49 Kč
Balíkovna 69 Kč
PPL kurýr 74 Kč
PPL box 39 Kč
Balíkovna 49 Kč
Výdejní místo DPD 49 Kč
Zásilkovna 39 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
▸
Prázdný :-(
0
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.
Logic-Based Program Synthesis and Transformation
35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
Jazyk
Angličtina
Angličtina
E-kniha
Adobe ePub DRM
This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synth...
Celý popis
Libristo kód: 49867971
?
162 b
162 b
1 617
Kč
Skladem
Ihned ke stažení
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.
Herečka
&
Polyglotka
EWA KASP
pro
Přehrát video
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.
Informace o knize
Plný název
Logic-Based Program Synthesis and Transformation
Autor
Santiago Escobar, Laura Titolo
Jazyk
Angličtina
Angličtina
Vazba
E-kniha - Adobe ePub DRM
Datum vydání
2025
EAN
9783032048486
Libristo kód
49867971
Nakladatelství
Springer
Kategorie
