Marknadens största urval
Snabb leverans

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.

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9781447161677
  • Format:
  • Häftad
  • Sidor:
  • 492
  • Utgiven:
  • 23. augusti 2015
  • Utgåva:
  • 22014
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 7664 g.
  Fri leverans
Leveranstid: 2-4 veckor
Förväntad leverans: 18. december 2024

Beskrivning 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.

Användarnas betyg av Refinement in Z and Object-Z



Hitta liknande böcker
Boken Refinement in Z and Object-Z finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.