Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Band 3)

Spivey, J. M.

ISBN 10: 0521334292 ISBN 13: 9780521334297

Editore: Cambridge University Press 31.03.1988., 1988

Lingua: Inglese

Condizione: Usato - Molto buono Rilegato

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

Condizione: Usato - Molto buono

Prezzo: EUR 41,49 Convertire valuta

EUR 24,00 per la spedizione da Germania a U.S.A. Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungere al carrello

Lista dei preferiti

Riguardo questo articolo

144 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 24,6 x 17,6 x 1,4 cm, Gebundene Ausgabe.

Codice articolo 384457

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Band 3)

Editore

Cambridge University Press 31.03.1988.

Data di pubblicazione

1988

Lingua

Inglese

ISBN 10

0521334292

ISBN 13

9780521334297

Rilegatura

Rilegato

Condizione

Gut

Peso

396 grammi

Cataloghi dei venditori

Alle B�cher

Descrizione articolo

Riassunto

This book provides a standard framework for understanding Z specifications.

Recensione

"The book is very well written and accurate, and the graphics are good." Computing Reviews

"The reader finds a well written book on a special rather technical topic...As such it is valuable for those who seek to understand the language Z in more detail..." Zentralblatt fur Mathematik

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 U.S.A.

Tariffe di spedizione da Germania a U.S.A.
Quantit� dell?ordine	Da 14 a 45 giorni lavorativi	Da 8 a 14 giorni lavorativi
Primo articolo	EUR 24.00	EUR 24.00

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.