by
Tiziano Villa, Nina Yevtushenko, Robert K. Brayton
Language: English
Release Date: November 16, 2011
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are...