Functional Data Structures and Algorithms: A Proof Assistant Approach - Tobias Nipkow - Böcker - Association of Computing Machinery,U.S. - 9798400731570 - 30 september 2025
Om omslag och titel inte matchar är det titeln som gäller

Tobias Nipkow
Functional Data Structures and Algorithms: A Proof Assistant Approach

Pris
SEK 819

Beställningsvara

Förväntad leverans 13 - 27 okt
Få avisering om nya utgåvor med Tobias Nipkow

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

Finns även som:

Discover data structures and algorithms for functional programming with rigorously verified proofs using Isabelle. Covering sorting, priority queues, dynamic programming, advanced heap structures, and graph algorithms, it unifies program correctness with runtime analysis through inductively proven methods for both learners and practitioners.

Media Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 30 september 2025
ISBN13 9798400731570
Utgivare Association of Computing Machinery,U.S.
Antal sidor 418
Mått 150 × 220 × 20 mm   ·   929 g

Fler produkter med Tobias Nipkow

Visa alla

Mer från samma **utgivare**

Se alt med Tobias Nipkow