Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

59,00 €
+ 7,49 € Versand
  • product image

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

  • Marke: Unbranded
Verkauft von:

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

  • Marke: Unbranded

59,00 €

Auf Lager
+ 7,49 € Versand
Verkauft von:

59,00 €

Auf Lager
+ 7,49 € Versand

Wir akzeptieren die folgenden Zahlungsmethoden

Beschreibung

Understanding Z A Specification Language and its Formal Semantics 3 Cambridge Tracts in Theoretical Computer Science Series Number 3

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z this book justifies the claim that Z is a precise specification language and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR and in the final chapter a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method those who want a concise definition of the language and those interested in the design of specification languages. Language: English
  • Marke: Unbranded
  • Kategorie: Computer und Internet
  • Künstler: Spivey J. M.
  • Format: Paperback
  • Verlag / Label: Cambridge University Press
  • Sprache: English
  • Erscheinungsdatum: 2008/01/21
  • Seitenzahl: 140
  • Fruugo-ID: 337398384-741030578
  • ISBN: 9780521054140

Lieferung und Rückgaben

Versand innerhalb von 4 Tagen

  • STANDARD: 7,49 € - Lieferung zwischen Do. 18 Dezember 2025–Di. 23 Dezember 2025

Versand von Vereinigtes Königreich.

Wir tun unser Bestes, um dafür zu sorgen, dass die von Ihnen bestellten Produkte vollständig und gemäß Ihrer Spezifikationen an Sie geliefert werden. Wenn Sie allerdings eine unvollständige Bestellung oder Artikel erhalten, die sich von den bestellten unterscheiden, oder es einen anderen Grund gibt, warum Sie mit Ihrer Bestellung nicht zufrieden sind, können Sie die gesamte Bestellung oder einzelne darin enthaltenen Produkte zurücksenden und eine vollständige Rückerstattung für die Artikel erhalten. Vollständige Rückgaberichtlinie ansehen