Udvidet returret til d. 31. januar 2025

Understanding Z - J. M. (University of Oxford) Spivey - Bog

- 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.
  • 8-11 hverdage.
  • 7. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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.