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 Programming Languages And Systems Format Broché - Livre Informatique

Note : 0 0 avis sur Programming Languages And Systems Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

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 Programming Languages And Systems Format Broché
- Livre Informatique

Livre Informatique - 01/11/2003 - Broché - Langue : Anglais

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/11/2003

Format : Moyen, de 350g à 1kg

Nombre de pages : 448

Expédition : 674

Dimensions : 23.5 x 15.5 x 25.0

ISBN : 9783540205364

Sommaire:
Invited Talk 1.- On a Method of Global Optimization.- Session 1.- Observing Asymmetry and Mismatch.- Expressive Synchronization Types for Inheritance in the Join Calculus.- Term Graph Rewriting for the ?-Calculus.- Useless-Code Elimination and Program Slicing for the Pi-Calculus.- Session 2.- Constraint Functional Logic Programming for Origami Construction.- A Typeful and Tagless Representation for XML Documents.- Dataflow Pointcut in Aspect-Oriented Programming.- Session 3.- Affine-Based Size-Change Termination.- Using Locality of Flow in Dataflow Analyses.- A Differential Fixpoint Evaluation Framework for Non-distributive Systems.- Invited Talk 2.- Model Checking: From Hardware to Software.- Session 4.- Executing Verified Compiler Specification.- Controlling and Optimizing the Usage of One Resource.- Resource Usage Verification.- Automatic Construction of Hoare Proofs from Abstract Interpretation Results.- Session 5.- A Program Inverter for a Functional Language with Equality and Constructors.- Rebuilding a Tree from Its Traversals:.- Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver.- Session 6.- Continuation Semantics for Parallel Haskell Dialects.- Translating a Continuous-Time Temporal Logic into Timed Automata.- The Semantic Layers of Timber.- Invited Talk 3.- Scrap Your Boilerplate.- Session 7.- Correctness of a Higher-Order Removal Transformation through a Relational Reasoning.- Extensional Polymorphism by Flow Graph Dispatching.- Register Allocation Based on a Reference Flow Analysis.- Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations.

Détails de conformité du produit

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

Personne responsable dans l'UE

)

Programming Languages and Systems -

Avis sur Programming Languages And Systems Format Broché - Livre Informatique

Présentation Programming Languages And Systems Format Broché - Livre Informatique

Présentation Programming Languages And Systems Format Broché
- Livre Informatique