Tallenna
Formal Specification Techniques for Engineering Modular C Programs
Kirjailija:
nidottu, 2012
englanti
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.
- Kirjailija
- Tan Yang Meng
- Painos
- Softcover reprint of the original 1st ed. 1996
- ISBN
- 9781461368502
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 13.10.2012
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 213
