查詢 text:Computer programs Verification. ，共 4 筆
查詢再細分
-
- 語言
- 英語(4)
-
- 作者
- Alt, René.(1)
- Giacobazzi, Roberto.(1)
- Levi, G.(1)
- Mainzer, Klaus.(1)
- Schuster, Peter,(1)
- Schwichtenberg, Helmut,(1)
- Steffen, Bernhard.(1)
-
- 資料類型
- 電子書(4)
-
- 主題
- COMPUTERS(2)
- Computer programs(2)
- Verification(2)
- Verification.(2)
- Abstrakte Interpretation(1)
- Computer programming(1)
- Computer programming.(1)
- Computer programs.(1)
- Computer software(1)
- Data processing.(1)
-
41 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.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書
-
3 0 0 0 0
Proof and computation II[electronic resource] :from proof theory and univalent mathematics to program extraction and verification
- 作者: Mainzer, Klaus.
- 出版: Singapore : World Scientific c2022.
- 資料類型: 電子書
-
2 0 0 0 0
Static analysis :11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings
- 作者: Giacobazzi, Roberto.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書