Udvidet returret til d. 31. januar 2025

Refinement in Z and Object-Z

- Foundations and Advanced Applications

Bag om Refinement in Z and Object-Z

This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781447161677
  • Indbinding:
  • Paperback
  • Sideantal:
  • 492
  • Udgivet:
  • 23. august 2015
  • Udgave:
  • 22014
  • Størrelse:
  • 155x235x0 mm.
  • Vægt:
  • 7664 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 28. november 2024

Beskrivelse af Refinement in Z and Object-Z

This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.

Brugerbedømmelser af Refinement in Z and Object-Z



Find lignende bøger
Bogen Refinement in Z and Object-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.