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 Rewriting Logic And Its Applications Format Broché - Livre Informatique

Note : 0 0 avis sur Rewriting Logic And Its Applications 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 Rewriting Logic And Its Applications Format Broché
- Livre Informatique

Livre Informatique - 01/09/2012 - Broché - Langue : Anglais

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/09/2012

Format : Moyen, de 350g à 1kg

Nombre de pages : 252

Expédition : 388

Dimensions : 23.5 x 15.5 x 1.4

ISBN : 9783642340048

Résumé :
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Rewriting Logic and its Applications, WRLA 2012, held as a satellite event of ETAPS 2012, in Tallinn, Estonia, in March 2012. The 8 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 12 initial submissions and 5 invited lectures. The papers address a great diversity of topics in the fields of rewriting logic such as: foundations and models, languages, logical and semantic framework, model-based software engineering, real-time and probabilistic extensions, verification techniques, and distributed systems.

Sommaire:

Rigorous Component-Based System Design (Invited Paper).- Program Analysis Scenarios in Rascal.- K Framework Distilled.- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.- Making Maude Definitions More Interactive.- Model Checking LTLR Formulas under Localized Fairness.- Modelling and Analyzing Adaptive Self-assembly Strategies with Maude.- Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude.- Order-Sorted Equality Enrichments Modulo Axioms.- Timed CTL Model Checking in Real-Time Maude.- Using Narrowing to Test Maude Specifications.- A Rule-Based Framework for Building Superposition-Based Decision Procedures.

Détails de conformité du produit

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

Personne responsable dans l'UE

)

Rewriting Logic and Its Applications -

Avis sur Rewriting Logic And Its Applications Format Broché - Livre Informatique

Présentation Rewriting Logic And Its Applications Format Broché - Livre Informatique

Présentation Rewriting Logic And Its Applications Format Broché
- Livre Informatique