• Couverture_Verified Functional Programming in Agda
Aperçu gratuit du livre Verified Functional Programming in Agda

Verified Functional Programming in Agda

1 février 2016
95,99 $
Prix en ligne. Les prix et les offres peuvent différer en magasin.
Commande minimum de  1 articles
Vente ferme. Aucun retour ou échange.
La livraison de cet article sera effectuée sur rendez-vous par notre transporteur partenaire.

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 480 points et profitez d’un rabais additionnel avec plum+.  .

Description

Publié par: Association for Computing Machinery 6504698
Dimensions à l’expédition: 9" H x 8" W x 1" L
ISBN: 9781970001242
Étape de vie: null

Cotes et évaluations

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 5ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Évaluation éditoriale


Auteur


Verified Functional Programming in Agda 2AE4CCF4-CE09-42A9-9E92-72A823545CF1
Verified Functional Programming in Agda
https://dynamic.indigoimages.ca/v1/books/books/1970001275/1.jpg
141.99
Verified Functional Programming in Agda
https://dynamic.indigoimages.ca/v1/books/books/1970001240/1.jpg
95.99
Verified Functional Programming in Agda
https://dynamic.indigoimages.ca/v1/https://cdn.kobo.com/book-images/fe353829-49a3-4781-a896-3f823bc57982/300/300/False/image.jpg
87.65