Mathematical Logic for Computer Science - Mordechai Ben-Ari - Bücher - Springer London Ltd - 9781447141280 - 17. Juni 2012
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Mathematical Logic for Computer Science 3rd ed. 2012 edition

Preis
€ 59,49

Bestellware

Lieferdatum: ca. 9. - 19. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
oder

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 17. Juni 2012
ISBN13 9781447141280
Verlag Springer London Ltd
Seitenanzahl 346
Maße 153 × 231 × 19 mm   ·   558 g
Sprache Englisch  

Weitere Titel von Mordechai Ben-Ari

Alle anzeigen