Decision Procedures An Algorithmic Point Of View - Daniel Kroening

46.95 CHF
+ 12.99 CHF Livraison

Decision Procedures An Algorithmic Point Of View - Daniel Kroening

Verkocht door:
  • product image

46.95 CHF

En stock
+ 12.99 CHF Livraison

Politique de retour sur 14 jours

Modes de paiement:

  • Marque: Unbranded

Description

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
  • Editeur / Label: Springer Nature B.V
  • Format: Hardcover
  • Langue: English
  • Identifiant Fruugo: 469775809-983730733
  • ISBN: 9783662504963

Livraison

Expédition dans les 24 heures

  • STANDARD: 12.99 CHF - Livraison entre jeu. 30 juillet 2026–mar. 04 août 2026

Expédition de Royaume-Uni.

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