Correct hardware design and verification methods : IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt/Main, Germany, October 2-4, 1995 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報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

形態:

viii, 342 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 987 <BA00009279>

著者名:

ISBN:

9783540603856 [3540603859]

書誌ID:

BA26019879

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references
主題:	Computer-aided design--Congresses; Integrated circuits--Verification--Congresses; Integrated circuits--Very large scale integration--Design and construction--Data processing--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Correct hardware design and verification methods : 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME '99, Bad Herrenalb, Germany, September 27-29, … Advanced Research Working Conference on Correct Hardware Design Methodologies, Pierre, Laurence, Kropf, Thomas, 1961- Springer	7 図書 Correct hardware design and verification methods : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005 … Advanced Research Working Conference on Correct Hardware Design Methodologies, Borrione, Dominique, Paul, Wolfgang Springer
2 図書 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, Margaria, Tiziana, Melham, T. F. (Tom F.) Springer	8 電子ブック Correct Hardware Design and Verification Methods Advanced Research Working Conference on Correct Hardware Design Methodologies, Camurati, Paolo, Eveking, Hans SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : … Advanced Research Working Conference on Correct Hardware Design Methodologies, Geist, Daniel, 1961-, Tronci, Enrico, … Springer	9 図書 Proceedings of the 8th International Conference on VLSI Design, January 4-7, 1995, New Delhi, India International Conference on VLSI Design, VLSI Society of India, ACM Special Interest Group on Design Automation, IEEE … IEEE Computer Society Press
4 図書 Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings (: gw ; : us) Advanced Research Working Conference on Correct Hardware Design Methodologies, Milne, George J., 1952-, Pierre, Laurence Springer-Verlag	10 図書 Formal methods in computer-aided design : second international conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings FMCAD (Conference), Gopalakrishnan, Ganesh, Windley, Phillip J., 1958- Springer
5 図書 Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, Claesen, Luc J. M., … North-Holland, Distributed in the U.S. and Canada, Elsevier Science Pub. Co.	11 図書 Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings FMCAD (Conference), Srivas, Mandayam, Camilleri, Albert Springer
6 図書 Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, Claesen, Luc J. M., … North-Holland, Distributed for the U.S. and Canada, Elsevier Science Pub. Co.	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12