Rewriting Logic and Its Applications -

Format: Broché

Voir le descriptif

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

89,99 €

Occasion · Comme Neuf

Ou 22,50 € /mois

4,50 € offerts

Livraison : 25,00 €
Livré entre le 9 et le 18 mai

Voir les modes de livraison

USAMedia

PRO Vendeur favori

4,6/5 sur + de 1 000 ventes

Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus

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/12/2020 - Broché - Langue : Anglais

Editeur : Springer International Publishing Ag

Langue : Anglais

Parution : 01/12/2020

Format : Moyen, de 350g à 1kg

Nombre de pages : 228

Expédition : 353

Dimensions : 23.5 x 15.5 x 13.0

ISBN : 9783030635947

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

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