
Conte aos seus amigos sobre este item:
Mathematical Logic for Computer Science 3rd ed. 2012 edition
Mordechai Ben-Ari
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
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 17 de junho de 2012 |
ISBN13 | 9781447141280 |
Editoras | Springer London Ltd |
Páginas | 346 |
Dimensões | 153 × 231 × 19 mm · 558 g |
Idioma | English |
Mostrar tudo
Mais por Mordechai Ben-Ari
Ver tudo de Mordechai Ben-Ari ( por exemplo Paperback Book e Hardcover Book )