查詢 text:Logiciels Évaluation. ，共 2 筆
查詢再細分
-
- 語言
- 英語(2)
-
- 作者
- Alur, Rajeev,(1)
- Hollander, Nathan.(1)
- Peled, Doron A.,(1)
-
- 資料類型
- 電子書(2)
-
- 主題
- Computer software(2)
- Evaluation.(2)
- Logiciels(2)
- BUSINESS & ECONOMICS(1)
- COMPUTERS(1)
- Circuits intégrés(1)
- Electronic digital computers(1)
- Evaluation(1)
- Évaluation(1)
- Évaluation.(1)
-
7 0 0 0 0Computer aided verification :16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings
- 作者: Alur, Rajeev,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
7 0 0 0 0
A guide to software package evaluation & selection :the R²ISC method
- 作者: Hollander, Nathan.
- 出版: New York : AMACOM 2000.
- 資料類型: 電子書