79,89 €
Produit Neuf
Ou 19,97 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 28 septembre
Nos autres offres
-
71,76 €
Produit Neuf
Ou 17,94 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Voir le détail de l'annonce -
79,89 €
Produit Neuf
Ou 19,97 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 28 septembre
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 Decision Procedures Format Broché - Livre Informatique
0 avis sur Decision Procedures Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Behind Bars: The Definitive Guide To Music Notation
Neuf dès 101,68 €
-
Sf2a : Scientific Highlights 2004
Occasion dès 69,00 €
-
Le Corbusier
2 avis
Occasion dès 59,90 €
-
English Legal System Eighth Edition
Neuf dès 60,59 €
-
Song Book - Intégrale --- Chant, Guitare Ou Piano
Occasion dès 100,00 €
-
Litteratures Allemandes - Anthologie Et Méthodes D'approche Des Textes, 2ème Édition
2 avis
Occasion dès 36,27 €
-
Turc Sans Peine Méthode Assimil
Occasion dès 60,25 €
-
Harald Szeemann
Neuf dès 87,99 €
-
Love On The Left Bank
2 avis
Neuf dès 43,77 €
-
The Work Of Hipgnosis -Walk Away Rene
1 avis
Occasion dès 49,95 €
-
Nouveau Testament Occitan & Rituel Cathare Xiiie Siècle, Transcription Yvan Roustit
Occasion dès 39,89 €
-
Co-Creative Science
Occasion dès 39,39 €
-
Grant Wood
Neuf dès 38,41 €
-
Terraform: Up And Running
Neuf dès 71,91 €
Occasion dès 39,18 €
-
Frans Post 1612-1680
Neuf dès 99,00 €
Occasion dès 38,07 €
-
Designing Data-Intensive Applications
Occasion dès 43,10 €
-
The Globalization Of World Politics
Neuf dès 87,03 €
-
Les Clés De L'allemand D'aujourd'hui - 408 Repères Grammaticaux
2 avis
Occasion dès 37,00 €
-
The Penguin Book Of American Short Stories
1 avis
Occasion dès 41,61 €
-
I: Functional Analysis
Occasion dès 82,70 €
Produits similaires
Présentation Decision Procedures Format Broché
- Livre Informatique
Résumé :
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research. The techniques described in the book draw from fields such as graph theory and logic, and are routinely used in industry. The authors introduce the basic terminology of SAT, Satisfiability Modulo Theories (SMT) and the DPLL(T) framework. Then, in separate chapters, they study decision procedures for propositional logic...
Biographie:
linear arithmetic...
Sommaire:
equalities and uninterpreted functions...
Détails de conformité du produit
Personne responsable dans l'UE