Grundlegende Beweismethoden in der Informatik: Ein computerbasierter Ansatz von Kons
124,04 €
A textbook that teaches students to read and write proofs using Athena.Proof is the primary vehicle for knowledge generation in mathematics. This book teaches students how to read and write proofs using Athena, a freely downloadable computer language.
Jetzt bei Ebay:
