Il s'agit de notre librairie Canada.

Il semble que vous résidiez au États-Unis. Vous devez avoir une adresse aux Canada pour effectuer des achats dans notre librairie Canada. Rendez-vous sur notre librairie États-Unis pour continuer.

Accéder à la librairie États-UnisChoisir une autre librairie
Aller au contenu principal
Liste d'envies
Panier
Créer un compte
Compte existant?Connexion
Functional Data Structures and Algorithms - A Proof Assistant Approach eBook par Tobias Nipkow

Functional Data Structures and Algorithms

A Proof Assistant Approach

Tobias Nipkow
ACM Books

Résumé

Catégories

À propos de ce livre

  • Langue :English
  • ISBN :9798400731563
  • Date de parution :3 oct. 2025
  • Éditeur :Association for Computing Machinery
  • Marque éditoriale :ACM Books
  • Format de fichier :EPUB3
  • Taille de fichier :2.20 MB
  • Options de téléchargement :EPUB3 (Adobe DRM)