600 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 23,4 x 16,0 x 2,8 cm, Taschenbuch.

N� de r�f. du vendeur 371173

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science)

�diteur

Springer 17.08.2000.

Date de parution

2000

Langue

anglais

ISBN � 10 chiffres

3540677704

ISBN � 13 chiffres

9783540677703

Reliure

Couverture souple

�dition

Auflage: 2000.

�tat de l'article

Sehr gut

Poids

969�grammes

Catalogues du vendeur

Alle B�cher

A propos de ce titre

Synopsis

Proceedings of the 12th International Conference, CAV 2000, held in Chicago, IL, July 15-19, 2000. The conference was devoted to the advancement of the theory and practice for formal methods for hardware and software verification. Covers everything from theoretical foundations to the latest applications. Softcover.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Sitz der Gesellschaft: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** Versandanschrift: Fachbuecher-Weltversand NEPO UG Bahnhofsplatz 1 65428 R�sselsheim am Main eingetragen im Handelsregister des Amtsgerichtes Darmstadt Handelsregisternummer HRB 103822 ** kundenservice @ fachbuecher-weltversand.de Umsatzsteuer-Identifikationsnummer gem�� 27a Umsatzsteuergesetz DE240798524

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

NEPO UG
Bahnhofsplatz 1, R�sselheim am Main, 65428, Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Widerrufsbelehrung
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gr�nden diesen Vertrag zu widerrufen.
Die Widerrufsfrist betr�gt vierzehn Tage ab dem Tag an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Bef�rderer ist, die Waren in Besitz genommen haben bzw. hat..Um Ihr Widerrufsrecht auszu�ben, m�ssen Sie uns
NEPO UG
Bahnhofsplatz 1
65428 R�sselsheim am Main
eingetragen im Handelsregister des Amtsgerichtes Darmstadt
Handelsregisternummer HRB 103822
Ste...

Pour plus d'information

Droit de r�tractation

Conditions d'exp�dition

Die Ware wird in der Regel innerhalb von 24 Stunden nach Bestelleingang verschickt.

Frais d?exp�dition de Allemagne�vers�Etats-Unis

Frais d?exp�dition de Allemagne�vers�Etats-Unis
Quantit� command�e	14 � 45 jours ouvr�s	8 � 14 jours ouvr�s
Premier article	EUR 24.00	EUR 24.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.