Tobias Nipkow Functional Data Structures and Algorithms

Functional Data Structures and Algorithms

A Proof Assistant Approach

Tobias Nipkow
ACM Books
Engels
(0 recensies)
Functional Data Structures and Algorithms, Tobias Nipkow - Gebonden - 9798400731570
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Thema’s
Alle thema's Minder thema's
Recensies
-
Nog geen recensies. Wees de eerste!
De correspondente | Virginia Evans
Nu verkrijgbaar

De correspondente | Virginia Evans

Lees meer
Contrapposto | Dave Eggers
Nu verkrijgbaar

Contrapposto | Dave Eggers

Lees meer
Lichtval | Maarten Hijink
Nu verkrijgbaar

Lichtval | Maarten Hijink

Lees meer
window.addEventListener('load', function () { let carousel_21552968_object = new Carousel('carousel_21552968', 1, 3); })

ONLINE WINKELEN BIJ JE LOKALE BOEKHANDEL

Bestellen & afhalen

Bestellen & afhalen

Bestel online en haal op in de winkel
Retourneren

Retourneren

Je hebt 14 dagen om van gedachten te veranderen
Klantenservice

Klantenservice

Vind het antwoord op een specifieke vraag

Beste boekenliefhebber,

Wat leuk dat je er bent! Om onze website te laten functioneren maken we gebruik van cookies. Kies hieronder welke cookies we mogen plaatsen. 

Onze noodzakelijke cookies verzamelen geen persoonsgegevens en helpen ons de website te verbeteren. Wil je de beste website-ervaring? Kies dan voor alle cookies. 

Meer informatie vind je in ons cookiebeleid.

Geef eventueel je voorkeuren aan:

Hostname: pro-mbooks3