bokomslag Mathematical Logic for Computer Science
Data & IT

Mathematical Logic for Computer Science

Mordechai Ben-Ari

Pocket

779:- (999:-)

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

Uppskattad leveranstid 10-15 arbetsdagar

Fri frakt för medlemmar vid köp för minst 149:-

  • 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