IX, 230 S. , 24 cm Sofort verf�gbar / Versand am folgenden Arbeitstag / mit Rechnung / daily shipping wordwide with invoice / ex library / Sprache: Deutsch Gewicht in Gramm: 550.

Seller Inventory # 124332

Contact seller

Report this item

Bibliographic Details

Title

The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science

Publisher

Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : Wiley

Publication Date

1984

Language

German

ISBN 10

3519021013

ISBN 13

9783519021018

Binding

Pp.

Condition

Gut

Seller catalogs

Store Description

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

Visit Seller's Storefront

Seller's business information

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

Sale & Shipping Terms

Terms of Sale

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

More Information