语系: 簡体中文

圖書館個人資料蒐集告知聲明

登入

语系

英文 (1)

跳至 : [NT 60487] Overview | 书目信息 | 主题

Lamport,, Leslie

[NT 60487] Overview

作品:	4 作品在 1 项出版品 1 种语言

书目信息

Specifying systems : the TLA+ language and tools for hardware by: Lamport,, Leslie (書目-語言資料)

主题

Logic, Symbolic and mathematical. Computer systems 004.2 System design.

变更密码

登入