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

Program Development by Refinement

- Case Studies Using the B Method

Bag om Program Development by Refinement

The Idea of Program Refinement Programs are complex. An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781852330538
  • Indbinding:
  • Paperback
  • Sideantal:
  • 364
  • Udgivet:
  • 23. oktober 1998
  • Udgave:
  • 1999
  • Størrelse:
  • 235x155x19 mm.
  • Vægt:
  • 1130 g.
Leveringstid: 8-11 hverdage
Forventet levering: 21. november 2024

Beskrivelse af Program Development by Refinement

The Idea of Program Refinement Programs are complex. An approach, advocated for a long time, is to separate a concise specification of a program - the "what" - from a possibly involved implementation - the "how". Yet the specification of the graphical layout is secondary compared to the specification of the possible transactions.

Brugerbedømmelser af Program Development by Refinement



Find lignende bøger
Bogen Program Development by Refinement findes i følgende kategorier: