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

469,00 DKK
+ 64,99 DKK Levering
  • product image

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

  • Brand: Unbranded
Sоlgt af:

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

  • Brand: Unbranded

469,00 DKK

På lager
+ 64,99 DKK Levering
Sоlgt af:

469,00 DKK

På lager
+ 64,99 DKK Levering

Vi accepterer følgende betalingsmetoder

Beskrivelse

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
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Cambridge University Press
  • Udgivelsesdato: 2008/01/21
  • Kunstner: Spivey J. M.
  • Sprog: English
  • Antal sider: 140
  • Fruugo ID: 337398384-741030578
  • ISBN: 9780521054140

Levering og returnering

Sendt inden for 4 dage

  • STANDARD: 64,99 DKK - Levering mellem kl tor. 18 december 2025–tir. 23 december 2025

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik