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

69,00 €
+ 7,49 € Αποστολή
  • product image

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

  • Μάρκα: Unbranded
Πωλήθηκε από:

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

  • Μάρκα: Unbranded

69,00 €

Σε απόθεμα
+ 7,49 € Αποστολή
Πωλήθηκε από:

69,00 €

Σε απόθεμα
+ 7,49 € Αποστολή

Δεχόμαστε τους ακόλουθους τρόπους πληρωμής

Περιγραφή

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
  • Μάρκα: Unbranded
  • Κατηγορία: Πληροφορική & Διαδίκτυο
  • Művész: Spivey J. M.
  • Nyelv: English
  • Kiadó / Kiadó: Cambridge University Press
  • Formátum: Paperback
  • Oldalak száma: 140
  • Megjelenés dátuma: 2008/01/21
  • Fruugo ID: 337398384-741030578
  • ISBN: 9780521054140

Παράδοση & Επιστροφές

Αποστέλλεται σε 5 μέρες

  • STANDARD: 7,49 € - Παράδοση μεταξύ Τρί 23 Δεκεμβρίου 2025–Παρ 26 Δεκεμβρίου 2025

Αποστέλλεται από Ηνωμένο Βασίλειο.

Κάνουμε ό,τι καλύτερο μπορούμε για να εξασφαλίσουμε ότι τα προϊόντα που παραγγέλνετε αποστέλλονται σε εσάς πλήρως και σύμφωνα με τις προδιαγραφές σας. Παρ' όλα αυτά, αν παραλάβετε μία ελλιπή παραγγελία ή προϊόντα διαφορετικά από αυτά που παραγγείλατε ή αν υπάρχει κάποιος άλλος λόγος που δεν είστε ικανοποιημένοι με την παραγγελία, μπορείτε να την επιστρέψετε ολόκληρη ή κάποια προϊόντα από αυτή και να λάβετε πλήρη επιστροφή χρημάτων για τα προϊόντα. Προβολή πλήρους πολιτικής επιστροφών