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

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 / sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen

資料種別:
図書
出版情報:
Amsterdam ; New York : North-Holland
New York, N.Y. : Distributed for the U.S. and Canada, Elsevier Science Pub. Co., 1990
形態:
xv, 414 p. ; 24 cm
シリーズ名:
VLSI Design methods ; v. 1 <BA10229635>
著者名:
ISBN:
9780444883728 [044488372X]
書誌ID:
BA10229533
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information

類似資料:

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 WG 10.2/WG 10.5 Workshop on Electronic Design Automation Frameworks, Rhyne, Tom

North-Holland

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

Springer

IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, Gero, John S. (John Steven), 1943-, Sudweeks, …

Chapman & Hall, on behalf of the International Federation for Information Processing

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

Springer

International Conference on VLSI Design, VLSI Society of India, ACM Special Interest Group on Design Automation, IEEE …

IEEE Computer Society Press

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

Springer

IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Gero, John S. (John Steven), 1943-, Tyugu, Ė. Kh. (Ėnn …

Elsevier

North-Holland, Distributed in the U.S. and Canada, Elsevier Science Pub. Co.

IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., …

North-Holland

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

North-Holland, Elsevier Science [distributor]

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

North-Holland

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