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

Jones, Cliff B.:

ISBN 10: 0138807337 ISBN 13: 9780138807337

Editore: Prentice-Hall 01.04.1990., 1990

Lingua: Inglese

Condizione: Usato - Molto buono Brossura

Lista dei preferiti

Venduto da NEPO UG, R�sselsheim am Main, Germania

Venditore AbeBooks dal 15 novembre 2018

Valutazione del venditore 5 su 5 stelle

Visualizza gli articoli del venditore

Mostra tutte le copie di questo libro

Usato - Brossura

Condizione: Usato - Molto buono

Prezzo: EUR 18,80 Convertire valuta

EUR 9,00 per la spedizione da Germania a Italia Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungere al carrello

Lista dei preferiti

Riguardo questo articolo

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

Codice articolo 377358

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

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

Editore

Prentice-Hall 01.04.1990.

Data di pubblicazione

1990

Lingua

Inglese

ISBN 10

0138807337

ISBN 13

9780138807337

Rilegatura

Brossura

Edizione

Auflage: 2 Sub.

Condizione

Gut

Peso

396 grammi

Cataloghi dei venditori

Alle B�cher

Descrizione articolo

Riassunto

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

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

Diritto di recesso

Condizioni di spedizione

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

Tariffe di spedizione da Germania a Italia

Tariffe di spedizione da Germania a Italia
Quantit� dell?ordine	Da 4 a 14 giorni lavorativi	Da 2 a 4 giorni lavorativi
Primo articolo	EUR 9.00	EUR 11.90

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.