查詢 text:"Computer software Verification -- Congresses." ，共 3 筆
查詢再細分
-
- 出版年
- 2004(3)
-
- 語言
- 英語(3)
-
- 作者
- Alt, René.(1)
- Alur, Rajeev,(1)
- Graf, Susanne.(1)
- Mounier, Laurent.(1)
- Peled, Doron A.,(1)
-
- 資料類型
- 電子書(3)
-
- 主題
- Computer software(3)
- Verification(3)
- Verification.(3)
- COMPUTERS(2)
- Logiciels(2)
- Vérification(2)
- Circuits intégrés(1)
- Computer programs(1)
- Computer programs.(1)
- Electronic digital computers(1)
-
43 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.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書