Naturvetenskap och teknik

Mathematical Logic for Computer Science

av Mordechai Ben-Ari

Utgiven av Springer London Ltd

Format

Häftad

Sidor

346 sidor

Språk

Engelska

Utgiven

juni 2012

Jämför priser

Från 639 kr

Bokus

Bästa pris

639 kr

Adlibris

740 kr

Akademibokhandeln

829 kr

Priserna uppdateras löpande från säkra och trygga butiker.

Om boken

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.

Fler böcker av Mordechai Ben-Ari

Liknande böcker

Alla i Naturvetenskap och teknik

Evolution

Evolution

Från 869 kr

On the Origin of Species

On the Origin of Species

Från 229 kr

Chemistry³

Chemistry³

Från 1 029 kr

Eve

Eve

Från 209 kr

Game Theory

Game Theory

Från 149 kr

Bästa pris639 kr