Logic-Based Program Synthesis and Transformation - Moreno Falaschi
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre83,88 €
Produit Neuf
Ou 20,97 € /mois
- Livraison : 3,99 €
- Livré entre le 27 juillet et le 3 août
Nos autres offres
-
89,73 €
Produit Neuf
Ou 22,43 € /mois
- Livraison à 0,01 €
- Livré entre le 28 juillet et le 10 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783319274355_dbm
Voir le détail de l'annonce -
89,94 €
Produit Neuf
Ou 22,49 € /mois
- Livraison : 25,00 €
- Livré entre le 10 et le 17 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 Logic - Based Program Synthesis And Transformation de Moreno Falaschi Format Broché - Livre
0 avis sur Logic - Based Program Synthesis And Transformation de Moreno Falaschi Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Logic - Based Program Synthesis And Transformation de Moreno Falaschi Format Broché
- Livre
Résumé :
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Sommaire:
Semantics of Logic Languages.- Ecient compilation of functional logic programs.- Types and security.- Optimization.- Static analysis.- Automated Verication.- Program debugging and slicing.- Smart Environments.- Program Transformation.- Constraint Solving and Programming.
Détails de conformité du produit
Personne responsable dans l'UE