Decision Procedures - Strichman, Ofer

Format: Broché

Note : 0

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

41,27 €

Produit Neuf

Ou 10,32 € /mois

Livraison à 0,01 €

Voir les modes de livraison

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Decision Procedures Format Broché - Livre Informatique

Note : 0 0 avis sur Decision Procedures Format Broché - Livre Informatique

Donnez votre avis et cumulez 5

Cumulez 5 en donnant votre avis

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Decision Procedures Format Broché
- Livre Informatique

Livre Informatique - Strichman, Ofer - 01/07/2018 - Broché - Langue : Anglais

Auteur(s) : Strichman, Ofer - Kroening, Daniel

Editeur : Springer-Verlag Gmbh

Langue : Anglais

Parution : 01/07/2018

Format : Moyen, de 350g à 1kg

Nombre de pages : 380

Expédition : 575

Dimensions : 23.5 x 15.5 x 2.1

ISBN : 3662570653

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

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Decision Procedures - Strichman, Ofer

Avis sur Decision Procedures Format Broché - Livre Informatique

Présentation Decision Procedures Format Broché - Livre Informatique

Présentation Decision Procedures Format Broché
- Livre Informatique