Logic and specification extending VDM-SL for advanced formal specification

書目詳細資料
主要作者:	Middelburg, Cornelis A.
格式:	圖書
語言:	English
出版:	London Chapman & Hall c1993.
主題:	Logic, Symbolic and mathematical. Software engineering.