Gå direkte til innholdet
Formal Specification Techniques for Engineering Modular C Programs
Spar

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