このページのリンク

Formal methods in computer-aided design : first international conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996 : proceedings / Mandayam Srivas, Albert Camilleri (eds.)
(Lecture notes in computer science ; 1166)

データ種別 図書
出版者 Berlin : Springer
出版年 c1996
本文言語 英語
大きさ ix, 470 p. : ill. ; 24 cm
書誌ID 1000181843

所蔵情報を非表示

3F・書庫-NDC分類図書・別置(請求制)
007.1||L||1166 119990007036

3540619372

書誌詳細を非表示

 類似資料