検索条件入力 ＞ 書誌詳細 ＞ Hardware specification, verification, and synthesis : Mathematical aspects : proceedings
書誌情報:Hardware specification, verification, and synthesis : Mathematical aspects : proceedings
M. Leeser, G. Brown, eds.
Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 proceedings.--
Berlin ; New York : Springer-Verlag , 1990.
vi, 402 p. : ill. ; 25 cm.


  


所蔵一覧
巻号予約人数所在請求記号資料ID状態貸出区分備考 
1U.S.0中央５階洋
  • 007.1
  • L 49
  • 408
00514616 利用可
一般 

選択行を：  

書誌詳細
刊年1990
形態vi, 402 p. : ill. ; 25 cm.
シリーズ名Lecture notes in computer science ; 408
注記Includes bibliographical notes.
出版国ドイツ
標題言語英語
本文言語英語
著者情報Cornell University. Mathematical Sciences Institute. Workshop (1989)
Leeser, M. (Miriam), 1958-
Brown, G. (Geoffrey), 1960-
Cornell University. Mathematical Sciences Institute.
分類LCC:TK7874
DC20:621.39/5
ISBN0387972269(U.S.)
件名LCSH:Integratedcircuits -- Verylargescaleintegration -- Designandconstruction -- Dataprocessing -- Congresses.
LCSH:Integratedcircuits -- Verification -- Congresses.
番号LCCN : 89026300

   
▲ページトップへ