Spara
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.
- Undertitel
- A Formal Approach to Software Development
- Författare
- Helmut A. Partsch
- Upplaga
- Softcover reprint of the original 1st ed. 1990
- ISBN
- 9783540525899
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 1990-07-05
- Sidor
- 493
