Ditemukan 1 dokumen yang sesuai dengan query
Tiziano Villa, editor
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 studied when...
New York: [, Springer], 2012
e20418583
eBooks Universitas Indonesia Library
