Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science)

Jones, Cliff B.:

ISBN 10: 0138807337 ISBN 13: 9780138807337

Verlag: Prentice-Hall 01.04.1990., 1990

Sprache: Englisch

Zustand: Gebraucht - Gut Softcover

F�r sp�ter vormerken

Verkauft von NEPO UG, R�sselsheim am Main, Deutschland

AbeBooks-Verk�ufer seit 15. November 2018

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Gebraucht - Gut

Preis: EUR 18,80 W�hrung umrechnen

EUR 4,00 f�r den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

350 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 23,2 x 17,4 x 1,8 cm, Taschenbuch.

Bestandsnummer des Verk�ufers 377358

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science)

Verlag

Prentice-Hall 01.04.1990.

Erscheinungsjahr

1990

Sprache

Englisch

ISBN-10

0138807337

ISBN-13

9780138807337

Einband

Softcover

Auflage

Auflage: 2 Sub.

Zustand

Gut

Verk�uferkataloge

Alle B�cher

�ber diesen Titel

Inhaltsangabe

A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

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

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

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

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

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

Mehr Information

Widerrufsbelehrung

Versandbedingungen

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

Versandkosten innerhalb von Deutschland

Versandkosten innerhalb von Deutschland
Bestellmenge	2 bis 6�Werktage	1 bis 3�Werktage
Erster Artikel	EUR 4.00	EUR 4.00

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.