Fundamental Proof Methods in Computer Science
Autor:
Konstantine Arkoudas, David Musser
Dostępność:
Dostępna u dostawcy w małych ilościach
Wysyłamy za 11-15 dni
283.87
zł
A textbook that teaches students to read and write proofs using Athena.
