Decision Procedures An Algorithmic Point Of View - Daniel Kroening

79,00 $ CA
+ 27,49 $ CA Livraison

Decision Procedures An Algorithmic Point Of View - Daniel Kroening

  • product image
Vendu par:

79,00 $ CA

En stock
+ 27,49 $ CA Livraison

Politique de retour sur 14 jours

Modes de paiement:

  • Marque: Unbranded
Vendu par:
Détails du produit

Détails du produit

Decision Procedures An Algorithmic Point Of View - Daniel Kroening

A Decision Procedure Is An Algorithm That, Given A Decision Problem, Terminates With A Correct Yesno 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.
  • Marque: Unbranded
  • Catégorie: Informatique et Internet
  • Auteur: Daniel Kroening
  • Nombre de pages: 380
  • Date de publication: 2017-01-27
  • Editeur / Label: Springer Nature B.V
  • Format: Hardcover
  • Langue: English
  • Identifiant Fruugo: 469775809-983730733
  • ISBN: 9783662504963
Livraison

Livraison

Expédition dans les 24 heures

  • STANDARD: 27,49 $ CA - Livraison entre ven. 18 septembre 2026–mer. 23 septembre 2026

Expédition de Royaume-Uni.

Retours

Retours

Nous mettons tout en œuvre pour que les produits que vous commandez vous soient livrés dans leur intégralité et selon vos indications. Néanmoins, si vous recevez une commande incomplète, des articles différents de ceux commandés ou si, pour toute autre raison, la commande ne vous satisfait pas, vous pouvez retourner la commande ou tout produit inclus dans celle-ci et recevoir un remboursement complet des articles.

Voir l'intégralité de la politique de retour