Telecharger Cours

Deriving and Manipulating Module Interfaces - DTIC

A formal method for syematically integrating general-purpo softw modules into efficient systems is presened. The integration is accomplished through ...



Download