How a wave interacts with heterogeneous media has been pursued by many geophysicists.The complexity of subsurface hetero......

从形式化系统理论出发，介绍形式化系统的组成和性质、形式化系统的发展，阐述了形式化系统理论在描述反应式软件系统行为状态变化理论......