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

Computer Aided Verification [electronic resource] : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings

0
索取号：
作者：Etessami、 Kousha.、Rajamani、 Sriram K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

0
索取号：
作者：Emerson、 E. Allen.、Namjoshi、 Kedar S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings

0
索取号：
作者：Cousot、 Radhia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Verification of Sequential and Concurrent Programs [electronic resource]

0
索取号：
作者：Apt、 Krzysztof R.、Boer、 Frank S.、Olderog、 Ernst-R眉diger.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Software Verification and Analysis [electronic resource] : An Integrated, Hands-On Approach

0
索取号：
作者：Stanley、 William.、Laski、 Janusz.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2009.

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

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

High-Level Verification [electronic resource] : Methods and Tools for Verification of System-Level Designs

0
索取号：
作者：Kundu、 Sudipta.、Lerner、 Sorin.、Gupta、 Rajesh K.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2011.

Post-Silicon and Runtime Verification for Modern Processors [electronic resource]

0
索取号：
作者：Wagner、 Ilya.、Bertacco、 Valeria.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2011.

Specification and Verification of Multi-agent Systems [electronic resource]

0
索取号：
作者：Dastani、 Mehdi.、Hindriks、 Koen V.、Meyer、 John-Jules Charles.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2010.

Scalable Techniques for Formal Verification [electronic resource]

0
索取号：
作者：Ray、 Sandip.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US : Imprint: Springer, 2010.

Design and Verification of Microprocessor Systems for High-Assurance Applications [electronic resource]

0
索取号：
作者：Hardin、 David S.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2010.

Open Verification Methodology Cookbook [electronic resource]

0
索取号：
作者：Glasser、 Mark.、SpringerLink (Online service)、
出版社：New York, NY : Springer New York, 2009.

ESL Models and their Application [electronic resource] : Electronic System Level Design and Verification in Practice

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

Embedded System Design [electronic resource] : Modeling, Synthesis and Verification

0
索取号：
作者：Gajski、 Daniel D.、Abdi、 Samar.、Gerstlauer、 Andreas.、Schirner、 Gunar.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2009.

Verification and Control of Hybrid Systems [electronic resource] : A Symbolic Approach

0
索取号：
作者：Tabuada、 Paulo.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2009.

Generating Hardware Assertion Checkers [electronic resource] : For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

0
索取号：
作者：Boul茅、 Marc.、Zilic、 Zeljko.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2008.