Articles liés à Conception et analyse des programmes purement fonctionnels

Conception et analyse des programmes purement fonctionnels - Couverture souple

 
9781848900769: Conception et analyse des programmes purement fonctionnels
Afficher les exemplaires de cette édition ISBN
 
 
  • ÉditeurCollege Publications
  • Date d'édition2012
  • ISBN 10 1848900767
  • ISBN 13 9781848900769
  • ReliureBroché
  • Nombre de pages546
EUR 32,06

Autre devise

Frais de port : Gratuit
Vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf PAP Quantité disponible : > 20
impression à la demande
Vendeur :
PBShop.store US
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur

Description du livre PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9781848900769

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 32,06
Autre devise

Ajouter au panier

Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf Couverture souple Quantité disponible : > 20
impression à la demande
Vendeur :
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur

Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9781848900769_lsuk

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 26,48
Autre devise

Ajouter au panier

Frais de port : EUR 11,64
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Christian Rinderknecht
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf Paperback Quantité disponible : 10
Vendeur :
Chiron Media
(Wallingford, Royaume-Uni)
Evaluation vendeur

Description du livre Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9781848900769

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 22,34
Autre devise

Ajouter au panier

Frais de port : EUR 17,48
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image d'archives

Rinderknecht, Christian
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf Couverture souple Quantité disponible : > 20
Vendeur :
Lucky's Textbooks
(Dallas, TX, Etats-Unis)
Evaluation vendeur

Description du livre Etat : New. N° de réf. du vendeur ABLIING23Mar2912160250670

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 40,71
Autre devise

Ajouter au panier

Frais de port : EUR 3,72
Vers Etats-Unis
Destinations, frais et délais
Image d'archives

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf PAP Quantité disponible : > 20
impression à la demande
Vendeur :
PBShop.store UK
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur

Description du livre PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9781848900769

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 27
Autre devise

Ajouter au panier

Frais de port : EUR 29,15
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf Taschenbuch Quantité disponible : 1
impression à la demande
Vendeur :
AHA-BUCH GmbH
(Einbeck, Allemagne)
Evaluation vendeur

Description du livre Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Cette nouvelle édition contient de nouveaux chapitres pour les élèves de licence, où la progression est volontairement lente et chaque étape est expliquée. Le chapitre sur le tri par interclassement a été réécrit pour plus de clarté et de nouveaux résultats ont été inclus. Un grand chapitre sur XSLT a été ajouté.Ce livre s'adresse a priori à différents publics dont l'intérêtcommun est la programmation fonctionnelle.Pour les étudiants de licence, nous offrons une introduction très progressive à la programmation fonctionnelle, en proposant de longs développements sur les algorithmes sur les piles et quelques types d'arbres binaires. Nous abordons aussi l'étude de l'allocation mémoire à travers la synonymie (partage dynamique de données), le rôle de la pile de contrôle et du tas, le glanage automatique de cellules (GC), l'optimisation des appels terminaux et le calcul de la mémoire totale allouée. Avec le langage fonctionnel Erlang, nous approfondissons les sujets de la transformation de programme vers la forme terminale, les fonctions d'ordre supérieur et le style avec continuations. Une technique de traduction de petits programmes fonctionnels vers Java est aussi présentée.Pour les étudiants de master, nous associons à tous les programmes fonctionnels l'analyse mathématique détaillée de leur coût (efficacité) minimum et maximum, mais aussi moyen et amorti. La particularité de notre approche est que nos outils mathématiques sont élémentaires (analyse réelle, induction, dénombrement) et nous recherchons systématiquement des encadrements explicites de façon à déduire des équivalences asymptotiques. Par ailleurs, nous couvrons en détail des preuves formelles de propriétés, comme la correction, la terminaison et l'équivalence.Pour les professionnels qui ne connaissent pas les langages fonctionnels et qui doivent apprendre à programmer avec le langage XSLT, nous proposons une introduction à XSLT qui s'appuie directement sur la partie dédiée aux étudiants de licence. La raison de ce choix didactique inhabituel repose sur le constat que XSLT est rarement enseigné à l'université ou dans les écoles d'ingénieurs, donc les programmeurs qui n'ont pas été familiarisés à la programmation fonctionnelle font face aux deux défis d'apprendre un nouveau paradigme et d'employer XML pour programmer: alors que le premier met en avant la récursivité, le second l'obscurcit à cause de la verbosité intrinsèque à XML. En apprenant d'abord un langage fonctionnel abstrait, puis XML, nous espérons favoriser un transfert de compétence vers la conception et la réalisation en XSLT sans intermédiaire. N° de réf. du vendeur 9781848900769

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 62,96
Autre devise

Ajouter au panier

Frais de port : EUR 32,99
De Allemagne vers Etats-Unis
Destinations, frais et délais
Image fournie par le vendeur

Rinderknecht, Christian
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf Couverture souple Quantité disponible : > 20
Vendeur :
moluna
(Greven, Allemagne)
Evaluation vendeur

Description du livre Etat : New. N° de réf. du vendeur 4287263

Plus d'informations sur ce vendeur | Contacter le vendeur

Acheter neuf
EUR 52,17
Autre devise

Ajouter au panier

Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais