bokomslag Mathematical Logic for Computer Science
Data & IT

Mathematical Logic for Computer Science

Mordechai Ben-Ari

Pocket

489:- (599:-)

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Hos dig inom 3-7 arbetsdagar

Fri frakt vid köp över 99:- för medlemmar.

  • 346 sidor
  • 2012
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.
  • Författare: Mordechai Ben-Ari
  • Format: Pocket
  • ISBN: 9781447141280
  • Språk: Engelska
  • Antal sidor: 346
  • Utgivningsdatum: 2012-06-15
  • Förlag: Springer

för att se lokala öppettider, evenemang och personalens tips.

Idag