Ucebnice.cz Odborná • naučnáTechnické vědyInformační technologieSoftwareProgramování
Termín obdržení zásilky
Česká pošta Úterý 02.06
PPL Úterý 02.06
Osobní odběr Středa 03.06
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Decision Procedures

Decision Procedures
9 %

1220  Kč 1 341 Kč

Sleva až 70% u třetiny knih
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.
Autor:
Nakladatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540741046
Rok vydání: 2008
Jazyk : Angličtina
Vazba: Hardback
Počet stran: 306
Mohlo by se vám také líbit..