在时序逻辑语言中设计和验证分布式程序的方法

在时序逻辑语言中设计和验证分布式程序的方法

出版年：1985

作者：周盛宗

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

时序逻辑电路的形式验证方法研究

作者：吕毅
出版年：2000

时序逻辑程序设计与软件工程. 上册, 时序逻辑语言

作者：唐稚松
ISBN：7030070062
出版社：科学出版社
出版年：1999

递归量子程序设计与验证的逻辑基础

作者：许兆伟
出版社：中国科学院软件研究所
出版年：2019

基于区间时序逻辑的验证技术研究与应用

作者：杨潇潇
出版社：中国科学院
出版年：2012

时序逻辑程序设计与软件工程. 下册, 软件工程方法与工具

作者：唐稚松
ISBN：7030099281
出版社：科学出版社
出版年：2002

Java分布式程序设计

作者：马穆夫,
ISBN：7118026875
出版社：国防工业出版社
出版年：2002