Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings

種類:

図書

責任表示:

Tiziana Margaria, Tom Melham (eds.)

出版情報:

Berlin : Springer, c2001

著者名:

シリーズ名:

Lecture notes in computer science ; 2144 <BA00009279>

ISBN:

9783540425410 [3540425411]

注記:

Includes bibliographical references and index

所蔵情報

Loading availability information

子書誌情報

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

詳細

主題:	Computer-aided design--Congresses; Integrated circuits--Verification--Congresses; Integrated circuits--Very large scale integration--Computer-aided design--Congresses; Integrated circuits--Very large scale integration--Design and construction--Data processing--Congresses
分類・件名:	NDC9 : 007 LCSH : Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses LCSH : Integrated circuits -- Verification -- Congresses LCSH : Computer-aided design -- Congresses LCSH : Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses
TTLL:	eng
言語:	英語
形態:	xii, 482 p. : ill. ; 24 cm
書誌ID:	BA53434454

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	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 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	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 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	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.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	10 図書 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
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 : 15th International Conference, CAV 2003, Boulder, Co, USA, July 8-12, 2003 : proceedings CAV (Conference), Hunt, Warren A., 1958-, Somenzi, Fabio 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 図書 Higher order logic and hardware verification Melham, T. F. (Tom F.) Cambridge University Press