Fundamental Proof Methods in Computer Science
Szerző:
Konstantine Arkoudas, David Musser
Elérhetőség:
Beszállítói készleten alacsony példányszámban
Küldés 11-15 napon belül
24 313
Ft
A textbook that teaches students to read and write proofs using Athena.
