Fortæl dine venner om denne vare:
Mathematical Logic for Computer Science 3rd ed. 2012 edition
Mordechai Ben-Ari
Pris
DKK 518
Bestilles fra fjernlager
Forventes klar til forsendelse 14. - 20. okt.
Tilføj til din iMusic ønskeseddel
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 17. juni 2012 |
| ISBN13 | 9781447141280 |
| Forlag | Springer London Ltd |
| Antal sider | 346 |
| Mål | 153 × 231 × 19 mm · 558 g |
| Sprog | Engelsk |
Vis alle
Mere med Mordechai Ben-Ari
![Cover for Mordechai Ben-Ari · Mathematical Surprises (Paperback Bog) [2022 edition] (2022)](https://imusic.b-cdn.net/images/item/original/651/9783031135651.jpg?mordechai-ben-ari-2022-mathematical-surprises-paperback-bog&class=scaled&v=1694334251)
![Cover for Mordechai Ben-Ari · Elements of Robotics (Paperback Bog) [2018 edition] (2017)](https://imusic.b-cdn.net/images/item/original/324/9783319625324.jpg?mordechai-ben-ari-2017-elements-of-robotics-paperback-bog&class=scaled&v=1509633713)
![Cover for Mordechai Ben-Ari · Ada for Software Engineers (Paperback Bog) [2nd ed. 2009 edition] (2009)](https://imusic.b-cdn.net/images/item/original/136/9781848823136.jpg?mordechai-ben-ari-2009-ada-for-software-engineers-paperback-bog&class=scaled&v=1409516136)
![Cover for Mordechai Ben-Ari · Principles of the Spin Model Checker (Paperback Bog) [2008 edition] (2008)](https://imusic.b-cdn.net/images/item/original/695/9781846287695.jpg?mordechai-ben-ari-2008-principles-of-the-spin-model-checker-paperback-bog&class=scaled&v=1408435183)
Se alt med Mordechai Ben-Ari ( f.eks. Paperback Bog og Hardcover bog )