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