Udvidet returret til d. 31. januar 2025

Understanding Z

- A Specification Language and its Formal Semantics

Bag om Understanding Z

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780521054140
  • Indbinding:
  • Paperback
  • Sideantal:
  • 140
  • Udgivet:
  • 21. januar 2008
  • Størrelse:
  • 170x239x8 mm.
  • Vægt:
  • 234 g.
  • BLACK NOVEMBER
Leveringstid: 8-11 hverdage
Forventet levering: 6. december 2024

Beskrivelse af Understanding Z

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.

Brugerbedømmelser af Understanding Z



Find lignende bøger
Bogen Understanding Z findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.