查詢 text:Computer programs Verification. ，共 6 筆
-
47 0 0 0 0
Numerical software with result verification :international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
- 作者: Alt, René.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
6 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.
- 資料類型: 電子書
-
38 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.
- 資料類型: 電子書
-
13 0 0 0 0
CONCUR 2004--concurrency theory :15th international conference, London, UK, August 31-September 3, 2004 : proceedings
- 作者: Gardner, Philippa.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
6 0 0 0 0Proof and computation II[electronic resource] :from proof theory and univalent mathematics to program extraction and verification
- 作者: Mainzer, Klaus.
- 出版: Singapore : World Scientific c2022.
- 資料類型: 電子書
-
8 0 0 0 0
Principles of distributed systems :7th international conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003 : revised selected papers
- 作者: Papatriantafilou, Marina.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書