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.
Jazyk
Angličtina
Angličtina
Kniha
Pevná
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
Libristo kód: 02981250
?
110 b
110 b
1 102
Kč
Skladem u dodavatele
Odesíláme za 10-18 dnů
30 dní na vrácení zboží
Zákazníci také koupili
/
Brožovaná
380
Kč
/
Pevná
231
Kč
/
Brožovaná
461
Kč
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.§
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
Decision Procedures
Autor
Daniel Kroening, Ofer Strichman
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Pevná
Datum vydání
2017
Počet stran
356
EAN
9783662504963
ISBN
3662504960
Libristo kód
02981250
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
722
Rozměry
165 x 244 x 26
