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.
Symbolic Computation in Software Science
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Compu...
Celý popis
Libristo kód: 46462581
?
283 b
283 b
2 827
Kč
Skladem u dodavatele
Odesíláme za 5-8 dnů
Až 30 dní na vrácení zboží
Zákazníci také koupili
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024.
The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions.
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
Symbolic Computation in Software Science
Autor
Stephen M. Watt
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2024
Počet stran
156
EAN
9783031690419
ISBN
3031690419
Libristo kód
46462581
Nakladatelství
Springer International Publishing
Váha
248
Rozměry
155 x 235 x 9
Kategorie
