Fortell venner om denne varen:
Mathematical Logic for Computer Science 3rd ed. 2012 edition
Mordechai Ben-Ari
Pris
€ 55,49
Bestillingsvarer
Forventes levert 2. - 10. jul
Legg til iMusic ønskeliste
Eller
Mathematical Logic for Computer Science 3rd ed. 2012 edition
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ø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
![Cover for Mordechai Ben-Ari · Mathematical Surprises (Pocketbok) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/651/9783031135651.jpg?mordechai-ben-ari-2022-mathematical-surprises-pocketbok&class=scaled&v=1694334251)
![Cover for Mordechai Ben-Ari · Elements of Robotics (Pocketbok) [2018 edition] (2017)](https://imusic.b-cdn.net/images/item/original/324/9783319625324.jpg?mordechai-ben-ari-2017-elements-of-robotics-pocketbok&class=scaled&v=1509633713)
![Cover for Mordechai Ben-Ari · Ada for Software Engineers (Pocketbok) [2nd ed. 2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/136/9781848823136.jpg?mordechai-ben-ari-2009-ada-for-software-engineers-pocketbok&class=scaled&v=1409516136)
![Cover for Mordechai Ben-Ari · Principles of the Spin Model Checker (Pocketbok) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/695/9781846287695.jpg?mordechai-ben-ari-2008-principles-of-the-spin-model-checker-pocketbok&class=scaled&v=1408435183)
Se alt med Mordechai Ben-Ari ( f.eks. Pocketbok og Innbunden bok )