查詢 text:Programmverifikation ，共 3 筆
查詢再細分
-
- 出版年
- 2004(3)
-
- 語言
- 英語(3)
-
- 作者
- Graf, Susanne.(1)
- Jensen, K.(1)
- Levi, G.(1)
- Mounier, Laurent.(1)
- Podelski, Andreas.(1)
- Steffen, Bernhard.(1)
-
- 資料類型
- 電子書(3)
-
10 0 0 0 0
Tools and algorithms for the construction and analysis of systems :10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings
- 作者: Jensen, K.
- 出版: Berlin ;New York : Springer-Verlag 2004.
- 資料類型: 電子書
-
9 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.
- 資料類型: 電子書
-
37 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.
- 資料類型: 電子書