
Formal Specification Techniques for Engineering Modular C Programs
Formal Specification Techniques for Engineering Modular C Programs describes a novel approach to promoting program modularity.
Formal Specification Techniques for Engineering Modular C Programs also describes a specification-driven, software re-engineering process model for improving existing programs.
- Forfatter
- Tan Yang Meng
- Opplag
- Softcover reprint of the original 1st ed. 1996
- ISBN
- 9781461368502
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 13.10.2012
- Antall sider
- 213
