Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure - Christian Herde
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre80,62 €
Produit Neuf
Ou 20,16 € /mois
- Livraison : 3,99 €
- Livré entre le 25 et le 31 juillet
Nos autres offres
-
153,91 €
Produit Neuf
Ou 38,48 € /mois
- Livraison à 0,01 €
- Livré entre le 27 juillet et le 8 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783834814944_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 Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure de Christian Herde Format... - Livre
0 avis sur Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure de Christian Herde Format... - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Efficient Solving Of Large Arithmetic Constraint Systems With Complex Boolean Structure de Christian Herde Format...
- Livre
Résumé :
Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.
Biographie:
.
Sommaire:
Dr. Christian Herde completed his doctoral thesis under the supervision of Prof. Dr. Martin Fr?nzle at the Department of Computing Science at the University of Oldenburg, Germany....
Détails de conformité du produit
Personne responsable dans l'UE