Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings

>> Amazon.co.jp

このページの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

著者名:

シリーズ名:

Lecture notes in computer science ; 1954 <BA00009279>

ISBN:

9783540412199 [3540412190]

注記:

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
分類・件名:	NDC9 : 007 LCSH : Digital integrated circuits -- Design and construction -- Data processing -- Congresses LCSH : Digital integrated circuits -- Computer-aided design -- Congresses LCSH : Computer-aided design -- Congresses LCSH : Automatic theorem proving -- Congresses LCSH : Integrated circuits -- Verification -- Congresses LCSH : Computer engineering -- Computer-aided design -- Congresses LCSH : Formal methods (Computer science) -- Congresses
LCCN:	00049710
TTLL:	eng
言語:	英語
形態:	xi, 537 p. : ill. ; 24 cm
書誌ID:	BA49044059

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 電子ブック Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings Srivas, Mandayam, Camilleri, Albert, SpringerLink (Online service) Springer-Verlag
2 図書 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	8 電子ブック Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings Srivas, Mandayam., Camilleri, Albert., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
3 図書 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	9 図書 Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings Clarke, E. M., Workshop on Computer-Aided Verification Springer-Verlag
4 図書 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	10 図書 Computer aided design in civil engineering : proceedings of a symposium Kostem, Celal N., Shephard, M. S. (Mark S.), American Society of Civil Engineers. Technical Council on Computer … The Society
5 図書 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	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 図書 Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer … American Mathematical Society, Association for Computing Machinery	12 図書 Computer aided design : modelling, systems engineering, CAD-systems : CREST Advanced Course, Darmstadt, 8.-19. September 1980 Advanced Course on Computer-Aided Design, Encarnação, José Luis, 1941- Springer-Verlag