Formal methods in circuit design /
保存先:
第一著者: | |
---|---|
フォーマット: | 図書 |
言語: | 英語 |
出版事項: |
New York :
Cambridge,
c1993.
|
主題: | |
タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
物理的記述: | 193 p. |
---|---|
ISBN: | 0521443369 |