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

種類:

図書

責任表示:

Paolo E. Camurati, Hans Eveking (eds.)

出版情報:

Berlin ; New York : Springer, c1995

著者名:

シリーズ名:

Lecture notes in computer science ; 987 <BA00009279>

ISBN:

9783540603856 [3540603859]

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	Computer-aided design--Congresses; Integrated circuits--Verification--Congresses; Integrated circuits--Very large scale integration--Design and construction--Data processing--Congresses
分類・件名:	LCC : TK7874.75 DDC : 621.39/5 NDC9 : 549.7 LCSH : Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses LCSH : Integrated circuits -- Verification -- Congresses LCSH : Computer-aided design -- Congresses
LCCN:	95039591
TTLL:	eng
言語:	英語
形態:	viii, 342 p. : ill. ; 24 cm
書誌ID:	BA26019879

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings FMCAD (Conference), Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter) Springer
2 電子ブック Correct Hardware Design and Verification Methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 … Camurati, Paolo E., Eveking, Hans, SpringerLink (Online service) Springer-Verlag	8 電子ブック 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
3 電子ブック 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	9 図書 Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, … Cornell University. Mathematical Sciences Institute. Workshop, Leeser, M. (Miriam), 1958-, Brown, G. (Geoffrey), 1960-, … Springer-Verlag
4 図書 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	10 電子ブック VLSI-SoC: The Advanced Research for Systems on Chip : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, … Mir, Salvador., Tsui, Chi-Ying., Reis, Ricardo., Choy, Oliver C.S., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
5 電子ブック 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	11 図書 Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings CAV (Conference), Brinksma, Ed, Larsen, K. G. (Kim G.), 1957- Springer
6 図書 Formal methods in computer aided design : second internaitonal conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings FMCAD '98, Gopalakrishnan, Ganesh, Windley, Phillip J., 1958- Springer	12 図書 Computer aided verification : 15th International Conference, CAV 2003, Boulder, Co, USA, July 8-12, 2003 : proceedings CAV (Conference), Hunt, Warren A., 1958-, Somenzi, Fabio Springer