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

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

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

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/03/2010

Format : Moyen, de 350g à 1kg

Nombre de pages : 652

Expédition : 972

Dimensions : 23.5 x 15.5 x 3.5

ISBN : 9783642119569

Résumé :
and proceedings.

Sommaire:
The Audacity of Hope: Thoughts on Reclaiming the Database Dream.- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions.- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis.- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays.- A Semantic Framework for Declassification and Endorsement.- Amortised Resource Analysis with Separation Logic.- A PolyTime Functional Language from Light Linear Logic.- Testing Polymorphic Properties.- Formal Verification of Coalescing Graph-Coloring Register Allocation.- A Theory of Speculative Computation.- Propositional Interpolation and Abstract Interpretation.- Functional Programming in Sublinear Space.- Logical Concurrency Control from Sequential Proofs.- Fluid Updates: Beyond Strong vs. Weak Updates.- Parameterized Memory Models and Concurrent Separation Logic.- Amortized Resource Analysis with Polynomial Potential.- Generative Operational Semantics for Relaxed Memory Models.- Automating Security Mediation Placement.- TRX: A Formally Verified Parser Interpreter.- On the Expressive Power of Primitives for Compensation Handling.- Separating Shape Graphs.- Deadlock-Free Channels and Locks.- Verifying a Compiler for Java Threads.- A Grammar-Based Approach to Invertible Programs.- Faulty Logic: Reasoning about Fault Tolerant Programs.- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While.- A Universal Calculus for Stream Processing Languages.- Enforcing Stateful Authorization and Information Flow Policies in Fine.- Stateful Contracts for Affine Types.- CFA2: A Context-Free Approach to Control-Flow Analysis.- Weighted Dynamic Pushdown Networks.- Explicit Stabilisation for Modular Rely-Guarantee Reasoning....

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