Recomienda este artículo a tus amigos:
Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)
Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science
Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)
A textbook that teaches students to read and write proofs using Athena.
976 pages, 28 b&w illus.
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 5 de mayo de 2017 |
| ISBN13 | 9780262035538 |
| Editores | MIT Press Ltd |
| Páginas | 976 |
| Dimensiones | 284 × 213 × 40 mm · 1,68 kg |