×

兹马思-数学第一资源

从时序逻辑规范综合通信过程。(英语) Zbl 0487.68027
程序逻辑,纽约约克敦高地研讨会,1981年,莱克特。笔记计算。科学。131253-281(1982年)。

理学硕士:
68问65 抽象数据类型;代数规范
68N01号 软件理论概论
03B60型 其他非经典逻辑