Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Program Development by Refinement

Program Development by Refinement - Bog

- Case Studies Using the B Method

indgår i Formal Approaches to Computing and Information Technology (FACIT) serien

Program Development by Refinement
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.
  • 2-3 uger.
  • 24. Juli 2024

Normalpris

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



Andre købte også..
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.