6
8
Broy, Manfred
1982
Table of Contents:
“... and Freeness: An Introduction for Computer Scientists -- An Analysis of Semantic Models for Algebraic Specifications -- IV: Infinite Structures -- Fundamental Properties of Infinite Trees -- Behaviors of Processes and Synchronized Systems of Processes -- V...”1982
Full text