Functional Data Structures and Algorithms: A Proof Assistant ApproachTobias Nipkow
Tobias Nipkow
- Format
Lyt når som helst, hvor som helst
Nyd den ubegrænsede adgang til tusindvis af spændende e- og lydbøger - helt gratis
- Lyt og læs så meget du har lyst til
- Opdag et kæmpe bibliotek fyldt med fortællinger
- Eksklusive titler + Mofibo Originals
- Opsig når som helst
Læs mere
Brugbare links
Sprog og region
Dansk
Danmark
