Ucebnice.cz Odborná • naučnáPřírodní vědyMatematika
Termín obdržení zásilky
Česká pošta Středa 26.02
PPL Středa 26.02
Osobní odběr Čtvrtek 27.02
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

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

1712  Kč

Sleva až 70% u třetiny knih
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
Autor:
Nakladatel: Springer London Ltd
ISBN: 9781447141280
Rok vydání: 2012
Jazyk : Angličtina
Vazba: Paperback
Počet stran: 346
Mohlo by se vám také líbit..