Pastāsti draugiem par šo preci:
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.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2017. gada 5. maijs |
| ISBN13 | 9780262035538 |
| Izdevēji | MIT Press Ltd |
| Lapas | 976 |
| Izmēri | 284 × 213 × 40 mm · 1,68 kg |