Verification, Model Checking, and Abstract Interpretation.

Langue : anglais

Edité par Springer Verlag, 2002

3540003487 / 9783540003489

Vendeur : CSG Onlinebuch GMBH, Darmstadt, AllemagneCSG Onlinebuch GMBH

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 6 septembre 2022

Livre broché

Etat: Occasion - Assez bon

EUR 25,46

EUR 95,00 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Gebraucht - Gut Zustand: Gut, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings XI, 325 p. Also available online. About this book: This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January 2003. The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis, dynamic systems, abstract interpretation, model checking, security protocols, and formal methods. Written for Researchers and professionals.

N° de réf. du vendeur 14907

Titre
Verification, Model Checking, and Abstract Interpretation.
Auteur
L.D Zuck
Éditeur
Springer Verlag
Année de publication
2002
État de l'article
Gut
Reliure
Softcover
Langue
anglais
ISBN à 10 chiffres
3540003487
ISBN à 13 chiffres
9783540003489

CSG Onlinebuch GMBH

Darmstadt, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 6 septembre 2022

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

Article60 à 60 jours ouvrés60 à 60 jours ouvrés
Premier articleEUR 95,00EUR 110,00
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

Description de la boutique

Online Handel mit gebrauchten und antiquarischen Büchern.

Spécialité

Gebrauchtbücher

Profil professionnel du vendeur

CSG Onlinebuch GMBH

Bunsenstr. 6
Darmstadt, Allemagne 64293

CSG Onlinebuch GMBH
Geschäftsführer Stefan Gude
Bunsenstr. 6
64293 Darmstadt
Deutschland

Finanzamt Darmstadt HRB5604
Ust.-ID: DE147863163