Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Zásilkovna 44 Kč
Kurýr GLS 74 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Zásilkovna 44 Kč
Kurýr GLS 74 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 299 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Decision Procedures
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
Libristo kód: 20119732
?
154 b
154 b
1 540
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Pevná
1 386
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.
Informace o knize
Plný název
Decision Procedures
Autor
Daniel Kroening, Ofer Strichman
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2018
Počet stran
356
EAN
9783662570654
Libristo kód
20119732
Nakladatelství
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha
580
Rozměry
233 x 156 x 24
