查詢 text:Computer software Verification. ，共 8 筆
查詢再細分
-
- 語言
- 英語(8)
-
- 作者
- Alt, René.(1)
- Alur, Rajeev,(1)
- Andrews, Jason R.(1)
- Graf, Susanne.(1)
- Grimm, Christoph.(1)
- Levi, G.(1)
- Mounier, Laurent.(1)
- Paterson, Peter,(1)
- Peled, Doron A.,(1)
- Rashinkar, Prakash,(1)
-
- 館別
- 總圖(1)
-
42 0 0 0 0Numerical software with result verification :international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
- 作者: Alt, René.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
7 0 0 0 0
Computer aided verification :16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings
- 作者: Alur, Rajeev,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
12 0 0 0 0
Co-verification of hardware and software for ARM SoC design
- 作者: Andrews, Jason R.
- 出版: Burlington, MA : Elsevier Newnes ©2005.
- 資料類型: 電子書
-
35 0 0 0 0
Verification, model checking, and abstract interpretation :5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
- 作者: Steffen, Bernhard.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
11 0 0 0 0
System-On-A-Chip verification :methodology and techniques
- 作者: Rashinkar, Prakash,
- 出版: New York : Kluwer Academic Publishers ©2002.
- 資料類型: 電子書
-
8 0 0 0 0
Model checking software :11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
- 作者: Graf, Susanne.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
16 0 0 0 0
Software quality engineering :Testing, quality assurance, and quantifiable improvement
- 作者: Tian, Jeff.
- 出版: Hoboken, N.J. : Wiley c2005.
- 資料類型: 圖書
-
9 0 0 0 0
Languages for system specification :selected contributions on UML, SystemC, System Verilog, mixed-signal systems, and property specification from FDL'03
- 作者: Grimm, Christoph.
- 出版: Boston : Kluwer Academic Publishers 2004.
- 資料類型: 電子書