89,06 €
Produit Neuf
Ou 22,27 € /mois
- Livraison à 0,01 €
- Livré entre le 19 août et le 4 septembre
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 2 et le 7 septembre
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 -
89,06 €
Produit Neuf
Ou 22,27 € /mois
- Livraison à 0,01 €
- Livré entre le 19 août et le 4 septembre
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.
-
Der Mythus Des Zwangzigsten Jahrhunderts
Occasion dès 49,00 €
-
Harry Potter Collectible Quidditch Set (Includes Removeable Golden Snitch!)
Neuf dès 36,00 €
-
Xbox Series X : (J)
Neuf dès 43,99 €
-
Complete Swedish Beginner To Intermediate Course
1 avis
Neuf dès 49,73 €
-
Literature In English - Anthologie Des Littératures Anglophones
5 avis
Occasion dès 31,00 €
-
L'allemand Facile Par J. Chassard Et G. Weil. Classe De 3è. Nouvelle Édition. 1967.
Occasion dès 29,99 €
-
Dragon Quest 8 - Guide Stratégique Officiel
23 avis
Occasion dès 34,70 €
-
Diary Of Frida Kahlo
1 avis
Neuf dès 46,89 €
-
Alinea
1 avis
Occasion dès 55,00 €
-
Saint Louis
Neuf dès 136,85 €
Occasion dès 45,00 €
-
Mathématiques 1re S Et E : Géométrie Et Statistiques (Collection Terracher)
2 avis
Occasion dès 46,96 €
-
An Unconventional Portrait Of Yourself
Neuf dès 43,21 €
-
Des Bienfaits, 2 Tomes
1 avis
Occasion dès 45,80 €
-
Yoga Nidra
2 avis
Neuf dès 32,92 €
-
Communion
Neuf dès 44,71 €
-
Terminale Spécialité Physique-Chimie Maxi Best Of Exos Types (Nouveaux Programmes) - Partie Chimie: Prépare Pour : Contrôle Continu (Bac) Co
Occasion dès 31,92 €
-
Les Aiguilles Rouges
Occasion dès 29,30 €
-
Fragmentation And Repair
2 avis
Neuf dès 40,31 €
-
Impact Type
Neuf dès 39,73 €
-
Japanese Homes And Their Surroundings
Occasion dès 36,00 €
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