封面图片

QR Code

Specification and Proof in real- time CSP /

Show other versions (1)

Saved in:

书目详细资料
主要作者:	Davis, Jim
格式:	图书
语言:	英语
出版:	Cambridge : Press Sydicate, c1993.
主题:	Communicating Sequential Processes (computer Programs) Computer Programs.
标签:	添加标签没有标签, 成为第一个标记此记录!

封面图片

Specification and Proof in real- time CSP / 由 Davis, Jim

出版 1993

图书