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

Correct hardware design and verification methods : 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001 : proceedings / Tiziana Margaria, Tom Melham (eds.)

資料種別:
図書
出版情報:
Berlin : Springer, c2001
形態:
xii, 482 p. ; 24 cm
シリーズ名:
Lecture notes in computer science ; 2144 <BA00009279>
著者名:
ISBN:
9783540425410 [3540425411]
書誌ID:
BA53434454
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

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

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 for the U.S. and Canada, Elsevier Science Pub. Co.

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

Springer

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

Springer

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

Springer

IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, …

North-Holland

Advanced Research Working Conference on Correct Hardware Design Methodologies, Milne, George J., 1952-, Pierre, Laurence

Springer-Verlag

IFIP WG 10.2/WG 10.5 Workshop on Electronic Design Automation Frameworks, Rhyne, Tom

North-Holland

CHARME 2001, Margaria, Tiziana, Melham, Tom F.

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

Li, Hon F, Probst, David Karl, IFIP WG10.5, IFIP TC10 WG10.5 International Conference on Correct Hardware and …

Chapman & Hall on behalf of the International Federation for Information Processing (IFIP)

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.

IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Staunstrup, J. (Jørgen), 1952-, Sharp, Robin, 1942-

North-Holland, Elsevier Science [distributor]

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