Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

av Mordechai Ben-Ari
Mathematical Logic for Computer Science av Mordechai Ben-Ari
Om Mathematical Logic for Computer Science

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781447141280
  • Format:
  • Häftad
  • Sidor:
  • 346
  • Utgiven:
  • 17. juni 2012
  • Utgåva:
  • 32012
  • Mått:
  • 153x231x19 mm.
  • Vikt:
  • 558 g.
  Fri leverans
Leveranstid: Okänt - saknas för närvarande

Om Mordechai Ben-Ari

Se alla böcker av Mordechai Ben-Ari

Beskrivning av Mathematical Logic for Computer Science

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.

Användarnas betyg av Mathematical Logic for Computer Science



Andra köpte även...
Hitta liknande böcker
Boken Mathematical Logic for Computer Science finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.