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

Mathematical Logic for Computer Science 3rd ed. 2012 edition

Pris
NOK 659

Bestillingsvarer

Forventes levert 6. - 14. jan 2026
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  

Mer med Mordechai Ben-Ari

Vis alle