89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 22 août et le 7 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030635947_dbm
Nos autres offres
-
82,05 €
Produit Neuf
Ou 20,51 € /mois
- Livraison : 3,99 €
- Livré entre le 22 et le 28 août
Voir le détail de l'annonce -
89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 22 août et le 7 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030635947_dbm
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.
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
Design For Motion
Neuf dès 104,46 €
-
Michael Kenna: Silver Haikus
3 avis
Neuf dès 52,52 €
-
Book Of The Nsu Prima 1956-1964 Prima D - V - Iii - Iiik -
Neuf dès 48,74 €
-
Les Outils Dans Les Balkans Du Moyen Âge À Nos Jours
Occasion dès 50,00 €
-
Der Mythus Des Zwangzigsten Jahrhunderts
Occasion dès 49,00 €
-
Google Pixel 10 Pro : Pixel 10 Pro
Neuf dès 41,99 €
-
L'italien B2 - Pack Avec 1 Livre (3 Cd Audio)
1 avis
Neuf dès 65,90 €
Occasion dès 191,71 €
-
The Philosophy Of Grammar
Neuf dès 46,66 €
-
Ellen Von Unwerth. Heimat
Neuf dès 98,04 €
-
Porsche Racing Cars
Neuf dès 102,94 €
-
Xbox Series X : (J)
Neuf dès 43,99 €
-
Georg Baselitz
Neuf dès 137,45 €
Occasion dès 91,61 €
-
Complete Swedish Beginner To Intermediate Course
1 avis
Neuf dès 49,73 €
-
Sapiens. De Animales A Dioses (Edición Especial 10° Aniversario) / Sapiens: A Brief History Of Humankind
Neuf dès 47,65 €
-
Collection Entremets & Petits Gâteaux
1 avis
Occasion dès 90,00 €
-
The Palgrave Handbook Of The Southern Gothic
Neuf dès 55,22 €
-
Alinea
1 avis
Occasion dès 55,00 €
-
Mathématiques 1re S Et E : Géométrie Et Statistiques (Collection Terracher)
2 avis
Occasion dès 46,96 €
-
Marvel Encyclopedia, New Edition
Occasion dès 42,49 €
Produits similaires
Présentation Rewriting Logic And Its Applications Format Broché
- Livre Informatique
Résumé :
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020. Due to the COVID-19 pandemic the workshop took place virtually. The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.
Biographie:
Rewriting-based theorem proving, including (co)inductive theorem proving.- Rewriting-based constraint solving and satisfiability....
Sommaire:
Models of rewriting and rewriting logic.- Termination, confluence, coherence, and complexity.- Unification, generalization, and narrowing.- Graph rewriting.- Tree automata.- Rewriting strategies.- Rewriting-based declarative languages.- Explicit-state and symbolic model checking techniques.- ...
Détails de conformité du produit
Personne responsable dans l'UE