Utvidet returrett til 31. januar 2025

Understanding Z

- A Specification Language and its Formal Semantics

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9780521054140
  • Bindende:
  • Paperback
  • Sider:
  • 140
  • Utgitt:
  • 21. januar 2008
  • Dimensjoner:
  • 170x239x8 mm.
  • Vekt:
  • 234 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 19. desember 2024

Beskrivelse av 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.

Brukervurderinger av Understanding Z



Finn lignende bøker
Boken Understanding Z finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.