
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.
- Författare
- Tan Yang Meng
- Upplaga
- Softcover reprint of the original 1st ed. 1996
- ISBN
- 9781461368502
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 13.10.2012
- Sidor
- 213