Tallenna
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.
- Alaotsikko
- A Formal Approach to Software Development
- Kirjailija
- Helmut A. Partsch
- Painos
- Softcover reprint of the original 1st ed. 1990
- ISBN
- 9783540525899
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 5.7.1990
- Sivumäärä
- 493
