Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

>> Amazon.co.jp

このページのQRコード

Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

種類:

電子ブック

責任表示:

edited by Paolo E. Camurati, Hans Eveking

出版情報:

Berlin, Heidelberg : Springer-Verlag, 1995

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 987

ISBN:

9783540455165 [3540455167]

ローカル注記:

学内専用E-BOOKS (local access only)

オンライン

http://dx.doi.org/10.1007/3-540-60385-9

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Electronics and Microelectronics, Instrumentation; Engineering; Input/Output and Data Communications; Logics and Meanings of Programs; Software Engineering
分類・件名:	LCSH : Engineering LCSH : Data transmission systems LCSH : Software engineering LCSH : Logic design LCSH : Electronics FREE : Engineering FREE : Electronics and Microelectronics, Instrumentation FREE : Input/Output and Data Communications FREE : Software Engineering FREE : Logics and Meanings of Programs
TTLL:	eng
言語:	英語
形態:	v.: digital
書誌ID:	KB00006523

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Correct Hardware Design and Verification Methods : IFIP WG10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings Camurati, Paolo Enrico., Eveking, Hans., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings Wolper, Pierre, SpringerLink (Online service) Springer-Verlag
2 図書 Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : … Advanced Research Working Conference on Correct Hardware Design Methodologies, Camurati, Paolo, Eveking, Hans Springer	8 電子ブック Computer Aided Verification : Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings Bochmann, Gregor, Probst, David Karl, SpringerLink (Online service) Springer-Verlag
3 電子ブック Correct Hardware Design and Verification Methods : IFIPWG10.2 Advanced Research Working Conference, CHARME'93 Arles France May 24–26, 1993 Proceedings Milne, George J., Pierre, Laurence, SpringerLink (Online service) Springer-Verlag	9 電子ブック Computer Aided Verification : 5th International Conference, CAV '93 Elounda, Greece, June 28–July 1, 1993 Proceedings Courcoubetis, Costas, SpringerLink (Online service) Springer-Verlag
4 電子ブック Correct Hardware Design and Verification Methods : IFIP WG 10.2 Advanced Research Working Conference, CHARME'93, Arles, France, May 24-26, 1993. Proceedings Milne, George J., Pierre, Laurence., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	10 電子ブック Computer Aided Verification : 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings Dill, David L., SpringerLink (Online service) Springer-Verlag
5 図書 Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, … Advanced Research Working Conference on Correct Hardware Design Methodologies, Margarita, Tiziana, Melham, T. F. (Tom … Springer	11 電子ブック Semantics of Digital Circuits Delgado Kloos, Carlos, SpringerLink (Online service) Springer-Verlag
6 図書 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings Advanced Research Working Conference on Correct Hardware Design Methodologies, Milne, George J., 1952-, Pierre, Laurence Springer-Verlag	12 電子ブック Bringing Telecommunication Services to the People — IS&N '95 : Third International Conference on Intelligence in Broadband Services and Networks … Clarke, Anne, Campolargo, Mario, Karatzas, Nikos, SpringerLink (Online service) Springer-Verlag