查詢 ext:Venedig (2004 ，共 1 筆
查詢再細分
-
- 出版年
- 2004(1)
-
- 語言
- 英語(1)
-
- 作者
- Levi, G.(1)
- Steffen, Bernhard.(1)
-
- 資料類型
- 電子書(1)
-
- 主題
- Abstrakte Interpretation(1)
- COMPUTERS(1)
- Computer programs(1)
- Formale Methode(1)
- Kongress(1)
- Logiciels(1)
- Méthode formelle.(1)
- Model Checking(1)
- Model-checking (Informatique)(1)
- Programmanalyse(1)
-
35 0 0 0 0Verification, model checking, and abstract interpretation :5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
- 作者: Steffen, Bernhard.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書