Utvidet returrett til 31. januar 2024

Specification and Transformation of Programs

- A Formal Approach to Software Development

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 mer
  • Språk:
  • Engelsk
  • ISBN:
  • 9783540523567
  • Bindende:
  • Hardback
  • Sider:
  • 493
  • Utgitt:
  • 5. juli 1990
  • Utgave:
  • 1990
  • Dimensjoner:
  • 178x254x28 mm.
  • Vekt:
  • 2630 g.
  • BLACK NOVEMBER
  Gratis frakt
Leveringstid: 2-4 uker
Forventet levering: 27. november 2024

Beskrivelse av 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.

Brukervurderinger av Specification and Transformation of Programs



Finn lignende bøker
Boken Specification and Transformation of Programs finnes i følgende kategorier:

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.