9781447141280 - Mathematical Logic for Computer Science - Mordechai Ben-Ari Kartoniert (TB)

EAN: 9781447141280

Produktdaten aktualisiert am: 21.11.2024
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: 1447141288

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.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9781447141280
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>