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. Specification and Transformation of Programs

Specification and Transformation of Programs

- A Formal Approach to Software Development

af Helmut A. Partsch

indgår i Monographs in Computer Science serien

Specification and Transformation of Programs af Helmut A. Partsch
Bag om Specification and Transformation of Programs

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783540523567
  • Indbinding:
  • Hardback
  • Sideantal:
  • 493
  • Udgivet:
  • 5. juli 1990
  • Udgave:
  • 1990
  • Størrelse:
  • 178x254x28 mm.
  • Vægt:
  • 2630 g.
  • 8-11 hverdage.
  • 9. 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.

Bag om Helmut A. Partsch

Vis alle bøger af Helmut A. Partsch

Beskrivelse af Specification and Transformation of Programs

"Specification and transformation of programs" is short for a methodology of software development where, from a formal specification of a problem to be solved, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules.

Brugerbedømmelser af Specification and Transformation of Programs



Andre købte også..
Find lignende bøger
Bogen Specification and Transformation of Programs findes i følgende kategorier: