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.

Codice articolo 183042

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

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

Editore

Springer-Verlag

Data di pubblicazione

1982

Lingua

Inglese

ISBN 10

0387112057

ISBN 13

9780387112053

Rilegatura

Taschenbuch

Condizione

Gut

Cataloghi dei venditori

Alle B�cher

Descrizione libreria

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

Visita la pagina della libreria

Informazioni sull?azienda del venditore

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

Condizioni di vendita e spedizione

Condizioni di vendita

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...

Ulteriori informazioni