查詢 text:Computer hardware description languages Congresses. ,共 3 筆
查詢再細分
-
- 語言
- 英語(3)
-
- 作者
- Grimm, Christoph.(1)
- Jensen, K.(1)
- Mermet, Jean P.(1)
- Podelski, Andreas.(1)
- Villar, Eugenio.(1)
-
- 資料類型
- 電子書(3)
-
- 主題
- COMPUTERS(3)
- Computer hardware description languages(2)
- Computer hardware description languages.(2)
- Integrated circuits(2)
- Langages de description de matériel informatique(2)
- Very large scale integrationDesign and construction(2)
- Very large scale integrationDesign and construction.(2)
- Analyse de système.(1)
- Automatisches Beweisverfahren(1)
- Barcelona (2004)(1)
-
7 0 0 0 0
Languages for system specification :selected contributions on UML, SystemC, System Verilog, mixed-signal systems, and property specification from FDL'03
- 作者: Grimm, Christoph.
- 出版: Boston : Kluwer Academic Publishers 2004.
- 資料類型: 電子書
-
4 0 0 0 0
System specification & design languages :best of FDL'02
- 作者: Villar, Eugenio.
- 出版: Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書
-
8 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.
- 資料類型: 電子書