反应系统求精微积分的形式化 电子书下载

原名:Formalization of Refinement Calculus for Reactive Systems
作品简介:细化演算基于单调谓词transform-..实例证明qed（simp-all add：at-fun-def add.commute fun-eq-iff le-fun-def）。……