大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 verification 的图书(共127本)

Methods and Procedures for the Verification and Validation of Artificial Neural Networks [electronic resource]

0
索取号：
作者：Taylor、 Brian J.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.

Systemverilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features

0
索取号：
作者：Spear、 Chris.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.

Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach

0
索取号：
作者：Mishra、 Prabhat.、Dutt、 Nikil D.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2005.

Verification Methodology Manual for SystemVerilog [electronic resource]

0
索取号：
作者：Bergeron、 Janick.、Cerny、 Eduard.、Hunter、 Alan.、Nightingale、 Andrew.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.

Taxonomies for the Development and Verification of Digital Systems [electronic resource]

0
索取号：
作者：Bailey、 Brian.、Martin、 Grant.、Anderson、 Thomas.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2005.

全面的功能验证 : 完整的工业流程

0
索取号：TN402/20106
作者：怀尔、戈斯、勒斯纳、沈海华、乐翔、
出版社：北京 : 机械工业出版社, 2010

Scientific computation with automatic result verification

0
索取号：O24-51/E901
作者：
出版社：Wien ; New York : Springer-Verlag, c1988.

Verilog digital system design : Register transfer level synthesis, testbench, and verification = Verilog数字系统设计 ： RTL综合┷测试平台与验证

0
索取号：TP312VE/E20081.2
作者：Navabi、 Zainalabedin.、
出版社：Beijing : Publishing House of Electronics Industry, 2007.

System Verilog Assertions应用指南

0
索取号：TN431.202/20091
作者：维加亚拉哈文、 S.、拉马纳坦、 M.、陈俊杰、
出版社：北京 : 清华大学出版社, 2006

Verilog数字系统设计 : RTL综合、测试平台与验证 : register transfer level synthesis, testbench, and verification

0
索取号：TP312VH/20082
作者：纳瓦毕、李广军、
出版社：北京 : 电子工业出版社, 2007

System Verilog验证方法学

0
索取号：TN702/200712
作者：伯杰龙、夏宇闻、
出版社：北京 : 北京航空航天大学出版社, 2007

Software quality approaches : testing, verification, and validation

0
索取号：TP311.5/E20021
作者：
出版社：Berlin ; New York : Springer, c2001.

Concurrency verification : introductionto compositional and noncompositional methods

0
索取号：TP302.1/E20021
作者：
出版社：Cambridge, England ; New York : Cambridge University Press, 2001.

Petri nets for systems engineering : a guide to modeling, verification, and applications

0
索取号：O157.5/E20031
作者：Girault、 Claude.、Valk、 R. (Rüdiger).、
出版社：Berlin ; New York : Springer, c2003.

An introduction to formal program verification

0
索取号：TP31/E90176
作者：Mili、 Ali.、
出版社：New York : Van Nostrand Reinhold Co., 1985.

Software engineering : analysis and verification

0
索取号：TP31/E90169
作者：Lewis、 T. G. (Theodore Gyle)、 1941-、
出版社：Reston, Va. : Reston Pub. Co., 1982.