설명
1. Generic Practice and Theory.- 2. Generic Applications.- 3. Generic Properties of Datatypes.- 4. Basic Category Theory for Models of Syntax.- 5. A Mathematical Semantics for Architectural Connectors.
책 세부 정보
형식
페이퍼백
언어
영어
출판사
Springer