Foundations of computing system development with set theory and logic

書目詳細資料
主要作者:	Scheurer, Thierry
格式:	圖書
語言:	英语
出版:	Workingham Addison-Wesley 1994.
主題:	System design. Set theory. Logic, Symbolic and mathematical.