Spar
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.
- Undertittel
- A Formal Approach to Software Development
- Forfatter
- Helmut A. Partsch
- Opplag
- Softcover reprint of the original 1st ed. 1990
- ISBN
- 9783540525899
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 5.7.1990
- Antall sider
- 493
