检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
个人首页
语言:
English
中文
韩文
日文
登录
语言:
中文
English
韩文
日文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Verification&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Verification
, 检索到: 90 条结果, 检索时间: 0.038 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
Verification
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(58)
V 航空、航天
(6)
F 经济
(4)
X 环境科学,安全科学
(4)
O 数理科学与化学
(3)
Q 生物科学
(3)
K 历史、地理
(2)
D 政治、法律
(1)
E 军事
(1)
P 天文学、地球科学
(1)
文献类型
图书
(88)
学位论文
(2)
显示更多..
主题
研究
(11)
验证
(8)
芯片
(7)
设计
(7)
verification
(6)
中国
(5)
程序设计
(5)
集成电路
(5)
硬件描述语言
(4)
应用软件
(3)
computer software
(2)
design and construction
(2)
electronic digital computers
(2)
internet of things
(2)
印刷电路
(2)
安全技术
(2)
异常检测,虚拟化,多层网络应用程序,警报验证
(2)
案例
(2)
武器装备
(2)
测试
(2)
显示更多..
著者
伯杰龙
(3)
刘斌
(3)
张春
(3)
anaam, wagdi abdullah abduljabbar
(2)
anaam, wagdi abdullah abduljabbar著
(2)
lewis,t.g
(2)
mili,ali
(2)
yu, xiaolei,
(2)
zhao, zhimin,
(2)
何宾
(2)
何宾编著
(2)
刘斌著
(2)
夏宇闻
(2)
拉姆
(2)
斯皮尔
(2)
湖南大学
(2)
王维维
(2)
王维维译
(2)
郭日生
(2)
(波) 普罗吉纳·孔达卡尔著
(1)
显示更多..
出版日期
2014
(6)
2023
(6)
2007
(5)
2010
(5)
2015
(5)
2018
(4)
2011
(3)
2012
(3)
2020
(3)
2022
(3)
2006
(2)
2016
(2)
2017
(2)
2004
(1)
2005
(1)
2009
(1)
2013
(1)
2019
(1)
2024
(1)
显示更多..
馆藏地点
显示更多..
图书馆
湖南大学图书馆
(82)
显示更多..
语言种类
汉语
(53)
英语
(2)
显示更多..
保存至书单:
创建新书单
共 9 页
首页
<上一页
1
2
3
4
5
6
7
8
9
下一页>
尾页>>
1.
封面仅供参考
Computer Aided Verification
订购中
(含光盘)
著者:
International Workshop CAV'91
出版社:
Springer-Verlag
出版日期: 1991
文献类型:
图书 , 索书号:
73.8705/LKG
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
封面仅供参考
Layout design and verification
订购中
(含光盘)
著者:
Ohtsuki
T.
出版社:
North-Holland
出版日期: 1986
文献类型:
图书 , 索书号:
73.7551/OT
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
封面仅供参考
The foundations of program verification
订购中
(含光盘)
著者:
(美国)Loeckx
Jacques著
出版社:
JOHN WILEY AND SONS
出版日期: 1984
文献类型:
图书 , 索书号:
TP31/LJ
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
封面仅供参考
Program verification using ada
订购中
(含光盘)
著者:
(美国)McGettick
Andrew D.著
出版社:
THE UNIV. PR.
出版日期: 1982
文献类型:
图书 , 索书号:
TP312/MAD(2)
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
封面仅供参考
Computer logic,testing and verification
订购中
(含光盘)
著者:
Roth
John Paul
出版社:
Computer Science Pr.,
出版日期: 1980
文献类型:
图书 , 索书号:
73.8722/RJP
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
封面仅供参考
Computer logic,testing and verification
订购中
(含光盘)
著者:
(美国)Roth
J.Paul著
出版社:
Computer Science Press, Inc.
出版日期: 1980
文献类型:
图书 , 索书号:
TP306/RJP
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
封面仅供参考
Software engineering analysis ��� verification /
订购中
(含光盘)
著者:
Lewis
T.G.
出版社:
Reston publishing company,Inc.,
出版日期: 1982
文献类型:
图书 , 索书号:
73.87221/LTG
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
封面仅供参考
Softwore English analysis ��� verification
订购中
(含光盘)
著者:
(美国)Lewis
T.G.著
出版社:
Reston Publishing Company, Inc
出版日期: 1982
文献类型:
图书 , 索书号:
TP31/LTG
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
封面仅供参考
Verification of computer codes in computational science and engineering /
已借1次.
订购中
(含光盘)
著者:
Salari
Kambiz.
出版社:
Chapman & Hall/CRC Press,
出版日期: c2003.
文献类型:
图书 , 索书号:
O241.82/KP
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
封面仅供参考
An Introduction to Formal Program Verification
订购中
(含光盘)
著者:
Mili
Ali
出版社:
Van Nostrand Reinhold Company
出版日期: 1985
文献类型:
图书 , 索书号:
73.87221/MA2
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 9 页
首页
<上一页
1
2
3
4
5
6
7
8
9
下一页>
尾页>>