Mathematical Logic for Computer Science - Mordechai Ben-Ari - Livres - Springer London Ltd - 9781447141280 - 17 juin 2012
Si la couverture et le titre ne correspondent pas, le titre est correct.

Mathematical Logic for Computer Science 3rd ed. 2012 edition

Prix
€ 58,49

Commandé depuis un entrepôt distant

Livraison prévue 6 - 14 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

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.


354 pages, 79 black & white illustrations, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 17 juin 2012
ISBN13 9781447141280
Éditeurs Springer London Ltd
Pages 346
Dimensions 153 × 231 × 19 mm   ·   558 g
Langue et grammaire Anglais  

Plus par Mordechai Ben-Ari

Afficher tout