このページのリンク

Hardware specification, verification and synthesis : mathematical aspects : Mathematical Sciences Institute Workshop, Cornell University, Ithaca, New York, USA, July 5-7, 1989, proceedings / M. Leeser, G. Brown (eds.)
(Lecture notes in computer science ; 408)

データ種別 図書
出版者 Berlin ; Tokyo : Springer-Verlag
出版年 c1990
本文言語 英語
大きさ vi, 402 p. : ill. ; 25 cm
書誌ID 1000003846

所蔵情報を非表示

3F・書庫-NDC分類図書・別置(請求制) : gw 007.1||L||408 219920001350



書誌詳細を非表示

 類似資料