>> Google Books
所蔵情報QRコード

Advances in hardware design and verification : IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal Canada / edited by Hon F. Li and David K. Probst

資料種別:
図書
出版情報:
London : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1997
形態:
vi,310 p ; 24cm
著者名:
ISBN:
9780412813306 [0412813300]
書誌ID:
BA37632672
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

CAV (Conference), Bochmann, Gregor V., Probst, David Karl

Springer-Verlag

Delgado Kloos, Carlos, Cerny, Eduard, International Federation for Information Processing

Chapman & Hall, 1997

Advanced Research Working Conference on Correct Hardware Design Methodologies, Borrione, Dominique, Paul, Wolfgang

Springer

Advanced Research Working Conference on Correct Hardware Design Methodologies, Camurati, Paolo, Eveking, Hans

Springer

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.

Advanced Research Working Conference on Correct Hardware Design Methodologies, Geist, Daniel, 1961-, Tronci, Enrico, …

Springer

Advanced Research Working Conference on Correct Hardware Design Methodologies, Pierre, Laurence, Kropf, Thomas, 1961-

Springer

IFIP TC 10/WG 10.5 International Conference on Very Large Scale Integration, Musgrave, Gerald, 1942-, Lauther, U., IFIP …

North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.

Advanced Research Working Conference on Correct Hardware Design Methodologies, Margaria, Tiziana, Melham, T. F. (Tom F.)

Springer

CAV (Conference), Berry, Gérard, 1948-, Comon, Hubert, Finkel, Alain

Springer

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12