Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / Ramayya Kumar, Thomas Kropf (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c1995

形態:

viii, 303 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 901 <BA00009279>

著者名:

ISBN:

9783540590477 [3540590471]

書誌ID:

BA24686158

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	TPCD'94 : theorem provers in circuit design
注記:	Final revised proceedings of the Second International Conference on Theorem Provers in Circuit Design Includes bibliographical references
主題:	Automatic theorem proving--Congresses; Computer-aided design--Congresses; Digital integrated circuits--Design and construction--Data processing--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and … IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, … North-Holland	7 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and … IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., … North-Holland
2 図書 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	8 図書 Electronic design automation frameworks : when will the promise be realized? : proceedings of the Third IFIP WG 10.2/WG 10.5 Workshop on Electronic Design … IFIP WG 10.2/WG 10.5 Workshop on Electronic Design Automation Frameworks, Rhyne, Tom North-Holland
3 図書 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	9 図書 CAD systems using AI techniques : proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, Tokyo, Japan, 6-7 June, 1989 IFIP TC-10/WG 10.2 Working Conference on CAD Systems Using AI Techniques, IFIP WG 10.2, 小田原, 豪太郎(1944-) North-Holland, Distributors for the U.S. and Canada, Elsevier Science
4 図書 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	10 図書 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.
5 図書 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	11 図書 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.
6 電子ブック Theorem Provers in Circuit Design Kumar, Kropf, Thomas, Kumar, Ramayya SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	12 図書 Designing correct circuits : proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992 IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Staunstrup, J. (Jørgen), 1952-, Sharp, Robin, 1942- North-Holland, Elsevier Science [distributor]

1

2

3

4

5

6

7

8

9

10

11

12