Termination Proofs for Logic Programs - Plümer, Lutz
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre6,49 €
Occasion · Très Bon État
Option Express : Chez vous demain (?)
- Livraison : 3,29 €
- Livré entre le 10 et le 13 avril
Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives.
Nos autres offres
-
83,58 €
Produit Neuf
Ou 20,90 € /mois
- Livraison : 25,00 €
- Livré entre le 27 avril et le 2 mai
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.
- 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 Termination Proofs For Logic Programs Format Broché - Livre Informatique
0 avis sur Termination Proofs For Logic Programs Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Termination Proofs For Logic Programs Format Broché
- Livre Informatique
Sommaire:
This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. Several nontrivial examples are discussed....
Détails de conformité du produit
Personne responsable dans l'UE