Gå direkt till innehållet
Formal Specification Techniques for Engineering Modular C Programs
Spara

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