Aperçu gratuit du livre Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
131,99 $
Réduction sur le prix courant
164,12 $
à
Prix en ligne. Les prix et les offres peuvent différer en magasin.
M’expédier cet article
Vérification des stocks…
Acheter maintenant et ramasser en magasin
Vérification des stocks…
Trouver en magasin
Vérification des stocks…
Obtenez null points et profitez d’un rabais additionnel avec plum+. En savoir plus.
Description
Publié par: World Scientific Publishing Company
Dimensions à l’expédition: null
ISBN: 9789811236495
Étape de vie: null
Cotes et évaluations
Évaluation éditoriale
D’autres ont aussi acheté
Les livres numériques d’Indigo sont offerts à Kobo.com.
Il suffit de vous connecter ou de créer un compte Kobo gratuit pour démarrer. Lisez des livres numériques sur n’importe quelle liseuse Kobo ou avec l’application Kobo gratuite.
Pourquoi Kobo?
Avec plus de 6 millions de livres numériques figurant parmi les meilleurs au monde, Kobo vous propose un tout nouveau monde de lecture. Emportez vos lectures et accumulez des points à chaque achat.
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
/fr-ca/proof-and-computation-ii-from-proof-theory-and-univalent-mathematics-to-program-extraction-and-verification/F1CC8769-19D7-4392-94DD-961EB77BF487.html
F1CC8769-19D7-4392-94DD-961EB77BF487
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
https://dynamic.indigoimages.ca/v1/books/books/981123647X/1.jpg
216.5
Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/a51ce708-d37c-4572-975f-6417f9e53fa9/300/300/False/image.jpg
164.12