Mathematical Logic for Computer Science

Name: Mathematical Logic for Computer Science
Brand: Springer London Ltd
SKU: 9781447141280
Price: 58.84 EUR
Availability: InStock

Autor: Mordechai Ben-Ari

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer London Ltd

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

58.84 €

This book approaches mathematics based on the needs of computer science students, teaching logic by...

Informácie o knihe

Autor

Mordechai Ben-Ari

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

346

EAN

9781447141280

ISBN

1447141288

Enbook ID

01241719

Vydavateľ

Springer London Ltd

Hmotnosť

544

Rozmery

153 x 231 x 19

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Logic for Computer Science

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež