Verification of digital and hybrid systems
- 責任表示:
- edited by M. Kemal Inan, Robert P. Kurshan
- シリーズ名:
- NATO ASI series. Series F, Computer and systems sciences
- シリーズ巻号:
- 170
- 出版情報:
- Berlin: Springer, 2000
- ISSN:
- 02581248
- ISBN:
- 9783540655954 [3540655956]
- 請求記号:
- N11483/170
- 資料種別:
- 国際会議録
類似資料:
SPIE - The International Society for Optical Engineering |
Society of Photo-optical Instrumentation Engineers |
SPIE-The International Society for Optical Engineering |
Association for Computing Machinery |
SPIE-The International Society for Optical Engineering |
Association for Computing Machinery |
Springer-Verlag |
10
国際会議録
Optical interfaces for digital circuits and systems : January 26, 1984, Los Angeles, California
Society of Photo-optical Instrumentation Engineers |
SPIE - The International Society of Optical Engineering |
Society of Photo-optical Instrumentation Engineers |
SPIE - The International Society of Optical Engineering |
Materials Research Society |