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

>> Google Books

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

形態:

vi, 269 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 683 <BA00009279>

書誌ID:

BA2032266X

ISBN:

9783540567783 [354056778X] (: gw)

9780387567785 [038756778X] (: us)

子書誌情報

所蔵情報

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

詳細

主題:	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
注記:	Includes bibliographical references
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Correct Hardware Design and Verification Methods : 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrucken, Germany, October 3-6, 2005, … Borrione, Dominique, Paul, Wolfgang, SpringerLink (Online service) Springer-Verlag GmbH.	7 図書 Databases for production management : proceedings of the IFIP TC5/WG 5.7 Working Conference on Design, Implementation, and Operations of Databases for … IFIP TC5/WG 5.7 Working Conference on Design, Inplementation, and Operations of Databases for Production Management, … North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
2 図書 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.	8 図書 Design methodologies for VLSI and computer architecture : proceedings of the IFIP TC10 Working Conference on Design Methodologies for VLSI and Computer … IFIP TC10 Working Conference on Design Methodologies for VLSI and Computer Architecture, Edwards, D. A. (Doug A.), IFIP … North-Holland, Distributors for the U.S. and Canada, Elsevier Science Pub. Co.
3 図書 METHODOLOGIES FOR COMPUTER SYSTEM DESIGN : PROCEEDINGS OF THE IFIP WG 10.1 WORKING CONFERENCE ON ..., LILLE, FRANCE, ..., 1983 GILOI, W. K, SHRIVER, B. D, IFIP WG 10.1 WORKING CONFERENCE ON METHODOLOGIES FOR COMPUTER SYSTEM DESIGN. 1983, LILLE, … NORTH-HOLLAND	9 図書 Advanced hardware design for error correcting codes Chavet, Cyrille, Coussy, Philippe Springer
4 図書 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.	10 図書 Automated tools for information systems design : proceedings of the IFIP WG 8.1 Working Conference on Automated Tools for Information Systems Design and … IFIP WG 8.1 Working Conference on Automated Tools for Information Systems Design and Development, Schneider, … North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
5 図書 Parallel architectures and compilation techniques : proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT … IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, Cosnard, M. (Michel), Gao, Guang … North-Holland	11 図書 Systems design for, with, and by the users : proceedings of the IFIP WG 9.1 Working Conference on Systems Design for, with, and by the Users, Riva del Sole, … IFIP WG 9.1 Working Conference on Systems Design for, with, and by the Users (1982 : Riva del Sole, Italy), Briefs, … North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
6 図書 Highly parallel computers : proceedings of the IFIP WG 10.3 Working Conference on Highly Parallel Computers for Numerical and Signal Processing Applications, … IFIP WG 10.3 Working Conference on Highly Parallel Computers for Numerical and Signal Processing Applications, Reijns, … North-Holland	12 図書 Analytical and testing methodologies for design with advanced materials : proceedings of the International Conference on Analytical and Testing Methodologies … International Conference on Analytical and Testing Methodologies for Design with Advanced Materials, Sih, G. C. (George … North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.