Computer Aided Verification

Langue : anglais

Edité par Springer Berlin Heidelberg, 2008

3540705430 / 9783540705437

Vendeur : moluna, Greven, Allemagnemoluna

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 juillet 2020

Livre broché

Etat: Neuf

EUR 147,41

EUR 48,99 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers an.

N° de réf. du vendeur 4898975

Titre
Computer Aided Verification
Auteur
Gupta, Aarti|Malik, Sharad
Éditeur
Springer Berlin Heidelberg
Année de publication
2008
État de l'article
New
Reliure
Kartoniert / Broschiert
Langue
anglais
ISBN à 10 chiffres
3540705430
ISBN à 13 chiffres
9783540705437
Catalogues du vendeur
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 juillet 2020

Frais d'expédition de Allemagne vers Etats-Unis

Article26 à 60 jours ouvrés26 à 60 jours ouvrés
Premier articleEUR 48,99EUR 48,99
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
  • Chèque
  • Paypal
  • Virement bancaire

Description de la boutique

Online Handel nur mit Neubüchern

Profil professionnel du vendeur

Moluna GmbH

Engberdingdamm 27
Greven, Allemagne 48268