Tipsa dina vänner om produkten:
Mathematical Logic for Computer Science Mordechai Ben-Ari 3rd ed. 2012 edition
Pris
SEK 639
Beställningsvara
Förväntad leverans 31 dec - 8 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
eller
Mathematical Logic for Computer Science
Mordechai Ben-Ari
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.
354 pages, 79 black & white illustrations, biography
| Media | Böcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 17 juni 2012 |
| ISBN13 | 9781447141280 |
| Utgivare | Springer London Ltd |
| Antal sidor | 346 |
| Mått | 153 × 231 × 19 mm · 558 g |
| Språk | Engelska |
Fler produkter med Mordechai Ben-Ari
Visa allaSe alt med Mordechai Ben-Ari ( t.ex. Pocketbok och Inbunden Bok )