Til hovedinnhold
Norli Bokhandel

Mathematical Logic for Computer Science

2012, Pocket, Engelsk

579,-

På nettlager - sendes innen 1-2 virkedager
  • Gratis frakt på ordre fra 299,-
  • Bytt i 200 butikker
  • På lagerhos 99 butikker

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.

Produktegenskaper

  • Forfatter

  • Bidragsyter

    Ben-Ari, Mordechai
  • Forlag/Utgiver

    Thanke AS
  • Format

    Pocket
  • Språk

    Engelsk
  • Utgivelsesår

    2012
  • Antall sider

    346
  • Varenummer

    9781447141280

Kundeanmeldelser

Frakt og levering