Programming Languages and Systems -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre84,50 €
Produit Neuf
Ou 21,13 € /mois
- Livraison : 3,99 €
- Livré entre le 20 et le 27 juillet
Nos autres offres
-
92,42 €
Produit Neuf
Ou 23,11 € /mois
- Livraison à 0,01 €
- Livré entre le 20 juillet et le 3 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540205364_dbm
Voir le détail de l'annonce -
97,23 €
Produit Neuf
Ou 24,31 € /mois
- Livraison : 25,00 €
- Livré entre le 3 et le 8 août
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.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Programming Languages And Systems Format Broché - Livre Informatique
0 avis sur Programming Languages And Systems Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
500+ Ukrainian Verbs
Neuf dès 66,50 €
-
Liberalism And The Limits Of Justice
Neuf dès 61,74 €
-
Noco Boost Gb40 :
Neuf dès 54,99 €
-
Greek Gods Abroad
Neuf dès 50,25 €
-
Vivian Maier - Photographin
Occasion dès 45,75 €
-
An Anthology Of Graphic Fiction, Cartoons, & True Stories
Occasion dès 45,00 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
Occasion dès 72,53 €
-
Picasso And Portraiture
Occasion dès 64,18 €
-
The Ghost In The Shell Book
Neuf dès 71,80 €
-
Microeconomics, Global Edition
Neuf dès 151,23 €
Occasion dès 75,90 €
-
Collecting Antique Meerschaum Pipes
Neuf dès 55,84 €
-
Ara Guler's Istanbul
Neuf dès 44,30 €
-
Michael O'neill. On Yoga: The Architecture Of Peace
Occasion dès 49,00 €
-
Anglais Débutants À B2 - Pack Audio (3 Cd Audio)
1 avis
Neuf dès 65,90 €
Occasion dès 52,72 €
-
Hugo Pratt. Geografie Immaginarie-Imaginary Geographies-Géographies Imaginaires
Neuf dès 51,98 €
-
A History Of Modern Europe
Neuf dès 66,61 €
-
Perfectionnement Allemand (5 Cd Audio)
1 avis
Occasion dès 47,90 €
-
Ghost In The Shell
Neuf dès 55,04 €
-
The French Army And The First World War
Neuf dès 51,69 €
Produits similaires
Présentation Programming Languages And Systems Format Broché
- Livre Informatique
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
Personne responsable dans l'UE