Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & IT
  5. Refinement in Z and Object-Z

Refinement in Z and Object-Z

- Foundations and Advanced Applications

av John Derrick, Eerke A. Boiten
Refinement in Z and Object-Z av John Derrick
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: 6. december 2024

Om John Derrick

Se alla böcker av John Derrick

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



Andra köpte även...
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.