Faites connaître cet article à vos amis:
Mathematical Logic for Computer Science Mordechai Ben-Ari 3rd ed. 2012 edition
Mathematical Logic for Computer Science
Mordechai Ben-Ari
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 toutVoir tous les Mordechai Ben-Ari ( par ex. Paperback Book et Hardcover Book )
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier