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

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

出版社：中国科学院软件研究所

出版年：2019

作者：许兆伟

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

量子程序设计基础

作者：王震宇
ISBN：9787302604853
出版社：清华大学出版社
出版年：2022

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

作者：周盛宗
出版年：1985

量子程序设计语言

作者：徐家福
ISBN：9787030387349
出版社：科学出版社
出版年：2013

数字逻辑与VHDL程序设计

作者：冯福生
ISBN：9787121171826
出版社：电子工业出版社
出版年：2012

6800程序设计在逻辑中的应用

作者：(美)奥斯本.A.
出版社：人民邮电出版社
出版年：1983

Prolog逻辑程序设计及应用

作者：周立柱
ISBN：7302008000
出版社：清华大学出版社
出版年：1991