Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25

Understanding Z

- A Specification Language and Its Formal Semantics

Bog
  • Format
  • Bog, paperback
  • Engelsk

Beskrivelse

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.

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal140
  • Udgivelsesdato21-01-2008
  • ISBN139780521054140
  • Forlag Cambridge University Press
  • Nummer i serien3
  • FormatPaperback
Størrelse og vægt
  • Vægt234 g
  • Dybde0,8 cm
  • coffee cup img
    10 cm
    book img
    17 cm
    23,9 cm

    Findes i disse kategorier...

    Se andre, der handler om...

    Machine Name: SAXO081