Logic-Based Program Synthesis And Transformation Format Broché

Logic-Based Program Synthesis and Transformation - Fred Mesnard

Format: Broché

Voir le descriptif

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Aucun vendeur ne propose ce produit

Soyez informé(e) par e-mail dès l'arrivée de cet article

Créer une alerte prix

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 Logic - Based Program Synthesis And Transformation Format Broché - Livre

Note : 0 0 avis sur Logic - Based Program Synthesis And Transformation Format Broché - Livre

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

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.

Présentation Logic - Based Program Synthesis And Transformation Format Broché
- Livre

Livre - Fred Mesnard - 31/01/2019 - Broché - Langue : Anglais

Auteur(s) : Fred Mesnard - Peter J. Stuckey

Editeur : Springer International Publishing

Langue : Anglais

Parution : 31/01/2019

Format : Moyen, de 350g à 1kg

Expédition : 347

Dimensions : 23.5 x 15.5 x 1.2

ISBN : 3030138372

Résumé :

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.

The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.

Sommaire:
Analysis of term rewriting.- Logic-based distributed/concurrent programming.- Analysis of logic programming.- Program analysis....

Logic-Based Program Synthesis and Transformation - Fred Mesnard

Avis sur Logic - Based Program Synthesis And Transformation Format Broché - Livre

Présentation Logic - Based Program Synthesis And Transformation Format Broché - Livre

Présentation Logic - Based Program Synthesis And Transformation Format Broché
- Livre