Povej prijatelju o tem izdelku:
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.
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 5. maja 2017 |
| ISBN13 | 9780262035538 |
| Založniki | MIT Press Ltd |
| Strani | 976 |
| Dimenzije | 284 × 213 × 40 mm · 1,68 kg |