Logical construction of systems

書目詳細資料
主要作者: Warnier, Jean Dominique
格式: 圖書
語言:English
出版: New York Van Nostrand Reinhold c1981
主題: