Programming Language Implementation and Logic Programming -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre71,50 €
Produit Neuf
Ou 17,88 € /mois
- Livraison à 0,01 €
- Livré entre le 21 et le 28 mai
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 4 et le 9 juin
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.
-
53,34 €
Occasion · Bon État
Ou 13,34 € /mois
- Livraison : 0,00 €
- Livré entre le 28 mai et le 8 juin
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 -
71,50 €
Produit Neuf
Ou 17,88 € /mois
- Livraison à 0,01 €
- Livré entre le 21 et le 28 mai
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540530107_dbm
- 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.
-
L'italien
2 avis
Neuf dès 26,90 €
Occasion dès 26,49 €
-
Joel Meyerowitz: Europa 1966-1967
Neuf dès 50,00 €
-
Lingua Latina Per Se Illustrata Pars I I
Occasion dès 62,99 €
-
Knitted Lace Of Estonia
Occasion dès 38,04 €
-
Tuina/ Massage Manipulations
Neuf dès 28,45 €
-
Allemand - La Méthode Michel Thomas, Débutants Et Faux Débutants (7 Cd Audio)
1 avis
Neuf dès 75,00 €
Occasion dès 50,49 €
-
Ernst Haas - New York In Color, 1952-1962
1 avis
Neuf dès 49,54 €
-
History Of Marine Corps Aviation In World War Ii (Great War Stories)
Occasion dès 44,42 €
-
A Comprehensive Guide To Sanum Therapy According To Prof. Enderlein
Neuf dès 27,83 €
-
Mathematiques, Classe De 6e
Occasion dès 25,80 €
-
Cabinet Of Natural Curiosities - 1734-1765
Neuf dès 25,00 €
Occasion dès 53,31 €
-
Dark Matters
Neuf dès 32,87 €
-
The Beatles Complete Chord Songbook
1 avis
Neuf dès 36,78 €
Occasion dès 45,74 €
-
Loving Reaper
2 avis
Neuf dès 35,00 €
-
Rural Studio
Neuf dès 108,99 €
Occasion dès 33,98 €
-
All-Time Best Guitar Collection (Songbook)
Neuf dès 37,50 €
-
The Lego® Architect
1 avis
Neuf dès 27,18 €
-
Prevention From The Inside-Out
Neuf dès 32,60 €
Occasion dès 39,99 €
-
Foundations Of Osteopathic Medicine Relié
Occasion dès 65,00 €
-
Understanding Greek Religion
Neuf dès 71,08 €
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