Functional Data Structures and Algorithms: A Proof Assistant Approach - Tobias Nipkow - Livres - Association of Computing Machinery,U.S. - 9798400731570 - 30 septembre 2025
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 72,99

Commandé depuis un entrepôt distant

Livraison prévue 4 - 18 nov.
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Recevez une notification pour les nouvelles sorties de Tobias Nipkow

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Également disponible en tant que :

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.

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 30 septembre 2025
ISBN13 9798400731570
Éditeurs Association of Computing Machinery,U.S.
Pages 418
Dimensions 150 × 220 × 20 mm   ·   929 g

Plus par Tobias Nipkow

Afficher tout

Plus d'ouvrages du même éditeur

Voir tous les Tobias Nipkow