208 Seiten Sofort verf�gbar / Versand sp�testens am n�chsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/ Sprache: Englisch Gewicht in Gramm: 550.

N� de r�f. du vendeur 183042

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science)

�diteur

Springer-Verlag

Date de parution

1982

Langue

anglais

ISBN � 10 chiffres

0387112057

ISBN � 13 chiffres

9780387112053

Reliure

Taschenbuch

�tat de l'article

Gut

Catalogues du vendeur

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