Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings / Warren A. Hunt Jr., Steven D. Johnson (eds.)

資料種別:

図書

出版情報:

Berlin : Springer, c2000

形態:

xi, 537 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 1954 <BA00009279>

著者名:

ISBN:

9783540412199 [3540412190]

書誌ID:

BA49044059

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	Includes bibliographical references and index
主題:	Automatic theorem proving--Congresses; Computer engineering--Computer-aided design--Congresses; Computer-aided design--Congresses; Digital integrated circuits--Computer-aided design--Congresses; Digital integrated circuits--Design and construction--Data processing--Congresses; Formal methods (Computer science)--Congresses; Integrated circuits--Verification--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 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	7 図書 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
2 図書 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	8 図書 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
3 図書 Theorem provers in circuit design : theory, practice and experience : Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : … IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Kumar, … Springer	9 図書 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
4 電子ブック Formal Methods in Computer-Aided Design FMCAD 2000, Hartmanis, Juris, Hunt, Warren A., Johnson, Steven Dexter, Johnson, Steven D. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings ICFEM, Liu, Zhiming, He, Jifeng, 1943- Springer
5 図書 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	11 図書 Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : … ICFEM, Lau, K.-K. (Kung-Kiu), 1953-, Banach, Richard Springer
6 図書 Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings International Conference on Integrated Formal Methods, Grieskamp, Wolfgang, 1960-, Santen, Thomas, 1965-, Stoddart, … Springer	12 図書 Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : … ICFEM, Davies, Jim, 1964-, Schulte, Wolfram, Barnett, Mike Springer

1

2

3

4

5

6

7

8

9

10

11

12