Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings

>> Amazon.co.jp

このページのQRコード

Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference CHARME '93, Arles, Frances, May 24-26, 1993 : proceedings

種類:

図書

責任表示:

George J. Milne, Laurence Pierre (eds.)

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1993

著者名:

シリーズ名:

Lecture notes in computer science ; 683 <BA00009279>

ISBN:

9783540567783 [354056778X] (: gw)

9780387567785 [038756778X] (: us)

注記:

Includes bibliographical references

所蔵情報

子書誌情報

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

詳細

主題:	Integrated circuits--Design nd construction--Data procesing--Congresses; Integrated circuits--Verification--Congresses; Integrated circuits--Very large scale integration--Computer-aided design--Congresses
分類・件名:	LCC : TK7874 LCC : TK7874.75 DDC : 621.39/2 LCSH : Integrated circuits -- Design nd construction -- Data procesing -- Congresses LCSH : Integrated circuits -- Verification -- Congresses LCSH : Integrated circuits -- Very large scale integration -- Computer-aided design -- Congresses
LCCN:	93199765
TTLL:	eng
言語:	英語
形態:	vi, 269 p. : ill. ; 24 cm
書誌ID:	BA2032266X

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 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
2 電子ブック 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	8 図書 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
3 電子ブック 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	9 図書 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
4 図書 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	10 図書 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
5 電子ブック 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	11 図書 Knowledge representation for decision support systems : proceedings of the IFIP WG 8.3 Working Conference on Knowledge Representation for Decision Support … IFIP WG 8.3 Working Conference on Knowledge Representation for Decision Support Systems, Methlie, Leif B., 1939-, … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
6 電子ブック 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	12 図書 Artificial intelligence tools in education : proceedings of the IFIP TC 3 Working Conference on Artificial Intelligence Tools in Education Frascati, Italy, … IFIP TC 3 Working Conference on Artificial Intelligence Tools in Education, Ercoli, Paolo, Lewis, R. (Robert), 1940-, … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.