Le livre est actuellement en rupture de stock

Paramètres
- Pages
- 364pages
- Temps de lecture
- 13heures
En savoir plus sur le livre
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.
Achat du livre
Mathematical Logic for Computer Science, Môtî Ben-Arî
- Langue
- Année de publication
- 2012
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.