Utvidet returrett til 31. januar 2025

Refinement in Z and Object-Z

- Foundations and Advanced Applications

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9781447161677
  • Bindende:
  • Paperback
  • Sider:
  • 492
  • Utgitt:
  • 23. august 2015
  • Utgave:
  • 22014
  • Dimensjoner:
  • 155x235x0 mm.
  • Vekt:
  • 7664 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 10. desember 2024

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

Brukervurderinger av Refinement in Z and Object-Z



Finn lignende bøker
Boken Refinement in Z and Object-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.