查詢 ext:Méthodes formelles (Informatique ,共 4 筆
查詢再細分
-
- 語言
- 英語(4)
-
- 作者
- Boiten, Eerke,(1)
- Derrick, John,(1)
- Harel, David,(1)
- Kozen, Dexter,(1)
- Levi, G.(1)
- Petrenko, Alexandre.(1)
- Smith, Graeme,(1)
- Steffen, Bernhard.(1)
- Tiuryn, Jerzy.(1)
- Ulrich, Andreas(1)
-
- 資料類型
- 電子書(4)
-
7 0 0 0 0
Formal approaches to software testing :Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
- 作者: Petrenko, Alexandre.
- 出版: Berlin ;New York : Springer-Verlag ©2004.
- 資料類型: 電子書
-
59 0 0 0 0
Integrated Formal Methods :4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
- 作者: Boiten, Eerke,
- 出版: Berlin ;Heidelberg : Springer-Verlag Berlin Heidelberg 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.
- 資料類型: 電子書