Rewriting Logic and Its Applications -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre75,14 €
Produit Neuf
Ou 18,79 € /mois
- Livraison : 3,99 €
- Livré entre le 1 et le 7 août
Nos autres offres
-
80,20 €
Produit Neuf
Ou 20,05 € /mois
- Livraison à 0,01 €
- Livré entre le 3 et le 17 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783642340048_dbm
Voir le détail de l'annonce -
79,03 €
Produit Neuf
Ou 19,76 € /mois
- Livraison : 25,00 €
- Livré entre le 17 et le 22 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 Rewriting Logic And Its Applications Format Broché - Livre Informatique
0 avis sur Rewriting Logic And Its Applications Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Dynamo 1 Workbook A (Pack Of 8)
Neuf dès 68,20 €
-
Cyanotype
Neuf dès 90,31 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
L'allemand Facile Par J. Chassard Et G. Weil. Classe De 4è. Nouvelle Édition. 1967.
Occasion dès 70,00 €
-
Emi's The Complete Beatles Recording Sessions: The Official Story Of The Abbey Road Years
Occasion dès 42,72 €
-
Bilingue 2000 - Lexique Thématique De L'italien Contemporain, Lessico Tematico Del Francese Contemporaneo
2 avis
Occasion dès 58,05 €
-
Canon Eos R5 Mark Ii User Guide
Neuf dès 44,77 €
-
Triumph Triples & Fours (91-04)
Neuf dès 44,29 €
-
Die Luzerner Chronik Des Diebold Schilling, Aus Dem Jahre 1513
Occasion dès 49,50 €
-
Daggerheart Core Set
Neuf dès 43,59 €
Occasion dès 40,49 €
-
Car Racing 1968
2 avis
Neuf dès 109,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
Global Objects
Neuf dès 48,75 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 49,89 €
-
Dc Finest: Hawkman: Wings Across Time
Neuf dès 39,84 €
-
Poetry In Stitches - Clothes You Can Knit
Occasion dès 50,00 €
-
The Brand Gap
Neuf dès 53,38 €
Occasion dès 38,59 €
-
Monster Hunter: World - Official Complete Works
1 avis
Neuf dès 58,42 €
-
Investigating Veronica Mars
Neuf dès 39,25 €
Produits similaires
Présentation Rewriting Logic And Its Applications Format Broché
- Livre Informatique
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
Personne responsable dans l'UE