Programming Language Implementation and Logic Programming -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre74,35 €
Produit Neuf
Ou 18,59 € /mois
- Livraison à 0,01 €
- Livré entre le 3 et le 16 juillet
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540530107_dbm
Nos autres offres
-
50,00 €
Occasion · Bon État
Ou 12,50 € /mois
- Livraison : 0,00 €
- Livré entre le 17 et le 22 juillet
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 -
74,35 €
Produit Neuf
Ou 18,59 € /mois
- Livraison à 0,01 €
- Livré entre le 3 et le 16 juillet
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540530107_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 Programming Language Implementation And Logic Programming Format Broché - Livre Informatique
0 avis sur Programming Language Implementation And Logic Programming Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Toxique Françoise Sagan Illustration Bernard Buffet
1 avis
Occasion dès 67,50 €
-
Ammien Marcellin - Histoires. Tome Iv Livres Xxiii-Xxv. 2 Volumes : Première Partie, Texte Et Traduction - Et Commentaire,
Occasion dès 43,99 €
-
Jean-Louis Scherrer
Occasion dès 40,00 €
-
Artists' Master Series: Composition & Narrative
Neuf dès 41,80 €
-
The Art And Science Of Natural Dyes
Neuf dès 55,68 €
-
Storytelling With Data
Neuf dès 39,95 €
-
Literature In English - Anthologie Des Littératures Anglophones
1 avis
Neuf dès 39,90 €
-
Raymond Chandler: Later Novels And Other Writings (Loa #80)
Neuf dès 46,85 €
-
Car Racing 1965
Neuf dès 109,00 €
Occasion dès 61,58 €
-
Oskar Dirlewanger
Neuf dès 43,26 €
-
Fusion 360 For Makers
Neuf dès 32,15 €
-
Norman Jewison
Neuf dès 32,37 €
-
Ephemerides 1950-2050 Ut For 0h International Edition
17 avis
Occasion dès 44,95 €
-
The New Negro
Neuf dès 31,25 €
-
William Carlos Williams
Neuf dès 38,44 €
-
Calculus With An Introduction To Linéar Algebra
Occasion dès 29,00 €
-
Bikablo Émotions
1 avis
Occasion dès 35,77 €
-
Madrigal's Magic Key To Spanish
Neuf dès 28,99 €
-
The Body Bears The Burden
Neuf dès 59,80 €
-
The New Nelson Japanese-English Character Dictionary
2 avis
Neuf dès 82,58 €
Occasion dès 43,14 €
Produits similaires
Présentation Programming Language Implementation And Logic Programming Format Broché
- Livre Informatique
Sommaire:
Implementing parallel rewriting.- Compilation of narrowing.- Inference-based overloading resolution for ADA.- An approach to verifiable compiling specification and prototyping.- Bug localization by algorithmic debugging and program slicing.- A constraint logic programming shell.- Modifying the simplex algorithm to a constraint solver.- Implementing a meta-logical scheme.- The vienna abstract machine.- A new data structure for implementing extensions to Prolog.- Finding the least fixed point using wait-declarations in Prolog.- Elementary logic programs.- A new presburger arithmetic decision procedure based on extended prolog execution.- Reasoning about programs with effects.- Towards a characterization of termination of logic programs.- Static type analysis of prolog procedures for ensuring correctness.- Integrating strict and lazy evaluation: the ?sl-calculus.- Efficient data representation in polymorphic languages.- A logic-based approach to data flow analysis problems.- Systematic semantic approximations of logic programs.- Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity.- On the automatic generation of events in delta prolog.- Compilation of non-linear, second order patterns on S-expressions.- Pattern matching in a functional transformation language using treeparsing.- Logic programming within a functional framework.- Compiling logic programs with equality.
Détails de conformité du produit
Personne responsable dans l'UE