De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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

- 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.
  • 8-11 hverdage.
  • 10. december 2024

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 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: