Conception et analyse des programmes purement fonctionnels

Note moyenne 0
( 0 avis fournis par GoodReads )
 
9781848900769: Conception et analyse des programmes purement fonctionnels
Acheter neuf Afficher le livre
EUR 23,40

Autre devise

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Ajouter au panier

Meilleurs résultats de recherche sur AbeBooks

1.

Christian Rinderknecht
Edité par College Publications, United Kingdom (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 10
impression à la demande
Vendeur
The Book Depository
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre College Publications, United Kingdom, 2012. Paperback. État : New. 234 x 156 mm. Language: French Brand New Book ***** Print on Demand *****.Cette nouvelle edition contient de nouveaux chapitres pour les eleves de licence, ou la progression est volontairement lente et chaque etape est expliquee. Le chapitre sur le tri par interclassement a ete reecrit pour plus de clarte et de nouveaux resultats ont ete inclus. Un grand chapitre sur XSLT a ete ajoute. Ce livre s adresse a priori a differents publics dont l interet commun est la programmation fonctionnelle. Pour les etudiants de licence, nous offrons une introduction tres progressive a la programmation fonctionnelle, en proposant de longs developpements sur les algorithmes sur les piles et quelques types d arbres binaires. Nous abordons aussi l etude de l allocation memoire a travers la synonymie (partage dynamique de donnees), le role de la pile de controle et du tas, le glanage automatique de cellules (GC), l optimisation des appels terminaux et le calcul de la memoire totale allouee. Avec le langage fonctionnel Erlang, nous approfondissons les sujets de la transformation de programme vers la forme terminale, les fonctions d ordre superieur et le style avec continuations. Une technique de traduction de petits programmes fonctionnels vers Java est aussi presentee. Pour les etudiants de master, nous associons a tous les programmes fonctionnels l analyse mathematique detaillee de leur cout (efficacite) minimum et maximum, mais aussi moyen et amorti. La particularite de notre approche est que nos outils mathematiques sont elementaires (analyse reelle, induction, denombrement) et nous recherchons systematiquement des encadrements explicites de facon a deduire des equivalences asymptotiques. Par ailleurs, nous couvrons en detail des preuves formelles de proprietes, comme la correction, la terminaison et l equivalence. Pour les professionnels qui ne connaissent pas les langages fonctionnels et qui doivent apprendre a programmer avec le langage XSLT, nous proposons une introduction a XSLT qui s appuie directement sur la partie dediee aux etudiants de licence. La raison de ce choix didactique inhabituel repose sur le constat que XSLT est rarement enseigne a l universite ou dans les ecoles d ingenieurs, donc les programmeurs qui n ont pas ete familiarises a la programmation fonctionnelle font face aux deux defis d apprendre un nouveau paradigme et d employer XML pour programmer: alors que le premier met en avant la recursivite, le second l obscurcit a cause de la verbosite intrinseque a XML. En apprenant d abord un langage fonctionnel abstrait, puis XML, nous esperons favoriser un transfert de competence vers la conception et la realisation en XSLT sans intermediaire. N° de réf. du libraire AAV9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 23,40
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

2.

Christian Rinderknecht
Edité par College Publications (2016)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 1
impression à la demande
Vendeur
Ria Christie Collections
(Uxbridge, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre College Publications, 2016. Paperback. État : New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. N° de réf. du libraire ria9781848900769_lsuk

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 23,55
Autre devise

Ajouter au panier

Frais de port : EUR 3,41
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

3.

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
PBShop
(Secaucus, NJ, Etats-Unis)
Evaluation vendeur
[?]

Description du livre College Publications, 2012. PAP. État : New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire IQ-9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 24,07
Autre devise

Ajouter au panier

Frais de port : EUR 3,78
Vers Etats-Unis
Destinations, frais et délais

4.

Christian Rinderknecht
Edité par College Publications, United Kingdom (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 10
impression à la demande
Vendeur
The Book Depository US
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre College Publications, United Kingdom, 2012. Paperback. État : New. 234 x 156 mm. Language: French . Brand New Book ***** Print on Demand *****. Cette nouvelle edition contient de nouveaux chapitres pour les eleves de licence, ou la progression est volontairement lente et chaque etape est expliquee. Le chapitre sur le tri par interclassement a ete reecrit pour plus de clarte et de nouveaux resultats ont ete inclus. Un grand chapitre sur XSLT a ete ajoute. Ce livre s adresse a priori a differents publics dont l interet commun est la programmation fonctionnelle. Pour les etudiants de licence, nous offrons une introduction tres progressive a la programmation fonctionnelle, en proposant de longs developpements sur les algorithmes sur les piles et quelques types d arbres binaires. Nous abordons aussi l etude de l allocation memoire a travers la synonymie (partage dynamique de donnees), le role de la pile de controle et du tas, le glanage automatique de cellules (GC), l optimisation des appels terminaux et le calcul de la memoire totale allouee. Avec le langage fonctionnel Erlang, nous approfondissons les sujets de la transformation de programme vers la forme terminale, les fonctions d ordre superieur et le style avec continuations. Une technique de traduction de petits programmes fonctionnels vers Java est aussi presentee. Pour les etudiants de master, nous associons a tous les programmes fonctionnels l analyse mathematique detaillee de leur cout (efficacite) minimum et maximum, mais aussi moyen et amorti. La particularite de notre approche est que nos outils mathematiques sont elementaires (analyse reelle, induction, denombrement) et nous recherchons systematiquement des encadrements explicites de facon a deduire des equivalences asymptotiques. Par ailleurs, nous couvrons en detail des preuves formelles de proprietes, comme la correction, la terminaison et l equivalence. Pour les professionnels qui ne connaissent pas les langages fonctionnels et qui doivent apprendre a programmer avec le langage XSLT, nous proposons une introduction a XSLT qui s appuie directement sur la partie dediee aux etudiants de licence. La raison de ce choix didactique inhabituel repose sur le constat que XSLT est rarement enseigne a l universite ou dans les ecoles d ingenieurs, donc les programmeurs qui n ont pas ete familiarises a la programmation fonctionnelle font face aux deux defis d apprendre un nouveau paradigme et d employer XML pour programmer: alors que le premier met en avant la recursivite, le second l obscurcit a cause de la verbosite intrinseque a XML. En apprenant d abord un langage fonctionnel abstrait, puis XML, nous esperons favoriser un transfert de competence vers la conception et la realisation en XSLT sans intermediaire. N° de réf. du libraire AAV9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 27,95
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

5.

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Quantité : > 20
impression à la demande
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre College Publications, 2012. PAP. État : New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du libraire LQ-9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 19,95
Autre devise

Ajouter au panier

Frais de port : EUR 10,72
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

6.

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 10
Vendeur
Ergodebooks
(RICHMOND, TX, Etats-Unis)
Evaluation vendeur
[?]

Description du livre College Publications, 2012. Paperback. État : New. N° de réf. du libraire INGM9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 29,89
Autre devise

Ajouter au panier

Frais de port : EUR 3,78
Vers Etats-Unis
Destinations, frais et délais

7.

Christian Rinderknecht
Edité par College Publications
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Paperback Quantité : 20
Vendeur
BuySomeBooks
(Las Vegas, NV, Etats-Unis)
Evaluation vendeur
[?]

Description du livre College Publications. Paperback. État : New. Paperback. 546 pages. Dimensions: 9.1in. x 6.1in. x 1.2in.Cette nouvelle dition contient de nouveaux chapitres pour les lves de licence, o la progression est volontairement lente et chaque tape est explique. Le chapitre sur le tri par interclassement a t rcrit pour plus de clart et de nouveaux rsultats ont t inclus. Un grand chapitre sur XSLT a t ajout. Ce livre sadresse a priori diffrents publics dont lintrt commun est la programmation fonctionnelle. Pour les tudiants de licence, nous offrons une introduction trs progressive la programmation fonctionnelle, en proposant de longs dveloppements sur les algorithmes sur les piles et quelques types darbres binaires. Nous abordons aussi ltude de lallocation mmoire travers la synonymie (partage dynamique de donnes), le rle de la pile de contrle et du tas, le glanage automatique de cellules (GC), loptimisation des appels terminaux et le calcul de la mmoire totale alloue. Avec le langage fonctionnel Erlang, nous approfondissons les sujets de la transformation de programme vers la forme terminale, les fonctions dordre suprieur et le style avec continuations. Une technique de traduction de petits programmes fonctionnels vers Java est aussi prsente. Pour les tudiants de master, nous associons tous les programmes fonctionnels lanalyse mathmatique dtaille de leur cot (efficacit) minimum et maximum, mais aussi moyen et amorti. La particularit de notre approche est que nos outils mathmatiques sont lmentaires (analyse relle, induction, dnombrement) et nous recherchons systmatiquement des encadrements explicites de faon dduire des quivalences asymptotiques. Par ailleurs, nous couvrons en dtail des preuves formelles de proprits, comme la correction, la terminaison et lquivalence. 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 sappuie directement sur la partie ddie aux tudiants de licence. La raison de ce choix didactique inhabituel repose sur le constat que XSLT est rarement enseign luniversit ou dans les coles dingnieurs, donc les programmeurs qui nont pas t familiariss la programmation fonctionnelle font face aux deux dfis dapprendre un nouveau paradigme et demployer XML pour programmer: alors que le premier met en avant la rcursivit, le second lobscurcit cause de la verbosit intrinsque XML. En apprenant dabord un langage fonctionnel abstrait, puis XML, nous esprons favoriser un transfert de comptence vers la conception et la ralisation en XSLT sans intermdiaire. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. N° de réf. du libraire 9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 38,93
Autre devise

Ajouter au panier

Frais de port : EUR 3,74
Vers Etats-Unis
Destinations, frais et délais

8.

Christian Rinderknecht
Edité par College Publications (2012)
ISBN 10 : 1848900767 ISBN 13 : 9781848900769
Neuf(s) Couverture souple Quantité : 15
impression à la demande
Vendeur
English-Book-Service Mannheim
(Mannheim, Allemagne)
Evaluation vendeur
[?]

Description du livre College Publications, 2012. État : New. This item is printed on demand for shipment within 3 working days. N° de réf. du libraire LP9781848900769

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 38,81
Autre devise

Ajouter au panier

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