Mathematical Logic for Computer Science

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

Autor: Mordechai Ben-Ari

Jazyk:

Vazba: Brožovaná

Vydavatel: Springer London Ltd

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 342 Kč

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

Informace o knize

Autor

Mordechai Ben-Ari

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2012

Stránek

346

EAN

9781447141280

ISBN

1447141288

Enbook ID

01241719

Vydavatel

Springer London Ltd

Hmotnost

544

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Logic for Computer Science

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také