Acheter maintenant et ramasser en magasin

  • Couverture_Computer-Aided Reasoning
Aperçu gratuit du livre Computer-Aided Reasoning: ACL2 Case Studies

Computer-Aided Reasoning: ACL2 Case Studies

Matt Kaufmann Édition : Panagiotis Manolios , J Strother Moore
8 décembre 2010
321,50 $
Prix en ligne. Les prix et les offres peuvent différer en magasin.
.
.    En Savoir Plus
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 1 608 points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
337
Advances in Formal Methods
Publié par: Springer/Sci-Tech/Trade
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9781441949813
É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, 5ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Évaluation éditoriale

panagiotis manolios

Auteur

D’autres ont aussi acheté

Computer-Aided Reasoning: ACL2 Case Studies D14934BC-A986-47B9-BE24-BA4E8D148C58
Computer-Aided Reasoning: ACL2 Case Studies
https://dynamic.indigoimages.ca/v1/books/books/144194981X/1.jpg
321.5
Computer-Aided Reasoning: ACL2 Case Studies
https://dynamic.indigoimages.ca/v1/books/books/0792378490/1.jpg
285.95