Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Esop '88 Format Broché - Livre Informatique

Note : 0 0 avis sur Esop '88 Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Esop '88 Format Broché
- Livre Informatique

Livre Informatique - 01/03/1988 - Broché - Langue : Anglais

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/03/1988

Format : Moyen, de 350g à 1kg

Nombre de pages : 392

Expédition : 593

Dimensions : 23.5 x 15.5 x 22.0

ISBN : 9783540190271

Sommaire:
Semantics-based program integration.- A semantics driven temporal verification system.- Algebraic formalisation of program development by transformation.- QPC: QJ-based proof compiler -simple examples and analysis-.- Implementation of modular algebraic specifications.- A polymorphic type system with subtypes for Prolog.- Type inference with subtypes.- A theory of software reusability.- Parametric overloading in polymorphic programming languages.- Programming with proofs: A second order type theory.- An exception handling construct for functional languages.- A functional language for the specification of complex tree transformations.- Garp: Graph abstractions for concurrent programming.- Extending functional programming towards relations.- Perfect pipelining: A new loop parallelization technique.- New insights into partial evaluation: the SCHISM experiment.- Code selection techniques: Pattern matching, tree parsing, and inversion of derivors.- Adding relational query facilities to software development environments.- Compilation of logic programs for restricted and-parallelism.- Implementation of lazy pattern matching algorithms.- Enhancing Prolog to support Prolog programming environments.- 2-Level ?-lifting.- Deforestation: Transforming programs to eliminate trees.- On implementing logic programming languages on a dataflow architecture.- The PSG system: From formal language definitions to interactive programming environments.- LPG: A generic, logic and functional programming language.- CEC: A system for the completion of conditional equational specifications.- A functional language for the specification of complex tree transformations.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

ESOP '88 -

Avis sur Esop '88 Format Broché - Livre Informatique

Présentation Esop '88 Format Broché - Livre Informatique

Présentation Esop '88 Format Broché
- Livre Informatique