Mathematical Logic for Computer Science

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

Szerző: Mordechai Ben-Ari

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer London Ltd

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

22 676 Ft

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

Információk a könyvről

Szerző

Mordechai Ben-Ari

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

346

EAN

9781447141280

ISBN

1447141288

Enbook ID

01241719

Kiadó

Springer London Ltd

Súly

544

Méretek

153 x 231 x 19

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Mathematical Logic for Computer Science

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták