Liu Zhiming Et Al Mathematical Frameworks for Component Software: Models for Analysis and Synthesis - World Scientific WSPC 2006 ISBN: 9789812772831 Source: EBOOK Subjects--Topical Terms: Computer Science