De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

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.
  • 8-11 hverdage.
  • 21. november 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

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: