Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)

Langue : anglais

Edité par Springer, 2000

0792378490 / 9780792378495

Vendeur : Symposia Community Bookstore INC, Hoboken, NJ, Etats-UnisSymposia Community Bookstore INC

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 27 octobre 2004

Livre relié

Etat: Occasion - Assez bon

EUR 130,38

EUR 4,46 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Clean, unmarked pages, except name inside.

N° de réf. du vendeur 250819010

Titre
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
Auteur
Kaufmann, Matt [Editor]; Manolios, Panagiotis [Editor]; Moore, J Strother [Editor];
Éditeur
Springer
Année de publication
2000
État de l'article
Very Good
Reliure
hardcover
Langue
anglais
ISBN à 10 chiffres
0792378490
ISBN à 13 chiffres
9780792378495
Poids de l'article
26 onces
Dimensions
6x0x9

Symposia Community Bookstore INC

Hoboken, NJ, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 27 octobre 2004

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article5 à 14 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 4,46EUR 11,61
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Description de la boutique

Symposia is a not for profit community building project supported mainly through book sales.

Spécialité

All kinds of books

Profil professionnel du vendeur

Symposia Community Bookstore INC

NJ, Etats-Unis