Acheter maintenant et ramasser en magasin

  • Couverture_The Calculus of Computation
Aperçu gratuit du livre The Calculus of Computation: Decision Procedures with Applications to Verification

The Calculus of Computation: Decision Procedures with Applications to Verification

Aaron R. Bradley , Zohar Manna
19 octobre 2010
80,50 $
Prix en ligne. Les prix et les offres peuvent différer en magasin.
.
Commande minimum de  1 articles
Vente ferme. Aucun retour ou Ă©change.
La livraison de cet article sera effectuée sur rendez-vous par notre transporteur partenaire.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Obtenez 403 points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
366
Publié par: Springer/Sci-Tech/Trade
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9783642093470
Étape de vie: null

Vous aimerez peut-ĂȘtre aussi

Cotes et évaluations

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 4ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Évaluation éditoriale

Auteur

D’autres ont aussi achetĂ©

The Calculus of Computation: Decision Procedures with Applications to Verification F06B70F7-1E97-4303-96F9-EC5F60AD8A48
The Calculus of Computation: Decision Procedures with Applications to Verification
https://dynamic.indigoimages.ca/v1/books/books/3540741127/1.jpg
116.95
The Calculus of Computation: Decision Procedures with Applications to Verification
https://dynamic.indigoimages.ca/v1/books/books/3642093477/1.jpg
80.5