Mathematical Logic for Computer Science - Mordechai Ben-Ari - Bøker - Springer London Ltd - 9781447141280 - 17. juni 2012
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Mordechai Ben-Ari

Mathematical Logic for Computer Science 3rd ed. 2012 edition

Pris
SEK 609

Bestillingsvarer

Forventes levert 1. - 9. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

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øker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 17. juni 2012
ISBN13 9781447141280
Utgivere Springer London Ltd
Antall sider 346
Mål 153 × 231 × 19 mm   ·   558 g
Språk Engelsk  

Vis alle

Mer med Mordechai Ben-Ari