查詢 au:Petrenko, Alexandre. ，共 1 筆
查詢再細分
-
- 出版年
- 2004(1)
-
- 語言
- 英語(1)
-
- 作者
- Petrenko, Alexandre.(1)
- Ulrich, Andreas(1)
-
- 資料類型
- 電子書(1)
-
- 主題
- COMPUTERS(1)
- Computer software(1)
- Essais(1)
- Formal methods (Computer science)(1)
- Formale Methode(1)
- Hardwareentwurf(1)
- Kongress(1)
- Korrektheit(1)
- Logiciels(1)
- Méthode formelle.(1)
-
9 0 0 0 0Formal 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.
- 資料類型: 電子書