查詢 text:Verifikation ，共 1 筆
查詢再細分
-
- 出版年
- 2004(1)
-
- 語言
- 英語(1)
-
- 作者
- Boiten, Eerke,(1)
- Derrick, John,(1)
- Smith, Graeme,(1)
-
- 資料類型
- 電子書(1)
-
- 主題
- COMPUTERS(1)
- Computer Literacy.(1)
- Computer Science.(1)
- Computer science.(1)
- Data Processing.(1)
- Formale Methode(1)
- Formale Spezifikationstechnik(1)
- HardwareGeneral.(1)
- Information Technology.(1)
- Kongress(1)
-
59 0 0 0 0Integrated Formal Methods :4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
- 作者: Boiten, Eerke,
- 出版: Berlin ;Heidelberg : Springer-Verlag Berlin Heidelberg 2004.
- 資料類型: 電子書