Il libro è attualmente esaurito

Parametri
- Pagine
- 364pagine
- Tempo di lettura
- 13ore
Maggiori informazioni sul libro
Focusing on the intersection of mathematics and computer science, this book teaches logic through semantic tableaux, tailored specifically for computer science students. The third edition features a complete rewrite and introduces new chapters on SAT solvers and model checking, enhancing its relevance and applicability in modern computational contexts.
Acquisto del libro
Mathematical Logic for Computer Science, Môtî Ben-Arî
- Lingua
- Pubblicato
- 2012
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Qui potrebbe esserci la tua recensione.