軟體形式規格說明語言

內容介紹

《普通高等教育"十一五"國家級規劃教材?軟體工程專業核心課程系列教材:軟體形式規格說明語言(Z)》旨在討論軟體工程中形式方法的概念、方法和表示法，並詳細介紹Z的類型系統、數學語言和公理定義、通用式定義、模式等結構，還討論了z規格說明的推理和求精方法。《普通高等教育"十一五"國家級規劃教材?軟體工程專業核心課程系列教材:軟體形式規格說明語言(Z)》還介紹了面向對象的規格說明語言Object—Z和其他形式方法表示和工具。《普通高等教育"十一五"國家級規劃教材?軟體工程專業核心課程系列教材:軟體形式規格說明語言(Z)》結構合理、內容豐富、實例詳盡多樣。各章配有習題。