Mathematical Frameworks for Component Software Models for Analysis and Synthesis. Series on Component-Based Software Development, Volume 2 by Jifeng He | Menrva Books | MenrvaBooks