×

兹马思-数学第一资源

定时系统的组成规范。(英语) Zbl公司 1379.68240
Puech,Claude(编辑)等人,STACS 96。第十三届计算机科学理论研讨会。法国格勒诺布尔,1996年2月22日至24日。诉讼程序。柏林:Springer Verlag(ISBN 3-540-60922-9)。计算机科学课堂讲稿1046347-359(1996)。
整个系列请参见[Zbl 0885.68010].

理学硕士:
68Q60型 规范和验证(程序逻辑、模型检查等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部