Udvidet returret til d. 31. januar 2025

Program Development by Refinement - Bog

- 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.
  • 8-11 hverdage.
  • 28. november 2024

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.