Mendeley出力
＜図書＞
Formal semantics for VHDL
| 責任表示 | edited by Carlos Delgado Kloos and Peter T. Breuer |
|---|---|
| シリーズ | The Kluwer international series in engineering and computer science ; VLSI, computer architecture and digital signal processing |
| データ種別 | 図書 |
| 出版情報 | Boston : Kluwer Academic , c1995 |
| 本文言語 | 英語 |
| 大きさ | xiv, 249 p. : ill. ; 25 cm |
| 概要 | Research papers from a January 1994 workshop put forth a cohesive set of semantics for the VHDL language and describe semantics based on Petri nets as target language, higher order logic, functional c...ncepts, and evolving algebras. Quotes from Lewis Caroll's Alice Through the Looking Glass introduce each paper. For researchers in formal methods, and advanced students. No index. Annotation copyright by Book News, Inc., Portland, OR続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
総理工 研究室 | 549.9 | 1995 |
|
068622195000718 |
|
書誌詳細
| 一般注記 | Includes bibliographical references |
|---|---|
| 著者標目 | Delgado Kloos, Carlos Breuer, Peter T. |
| 件 名 | LCSH:VHDL (Computer hardware description lanaguage) LCSH:Programming languages (Electronic computers) -- Semantics 全ての件名で検索 |
| 分 類 | LCC:TK885.7 DC20:621.39/2 |
| 書誌ID | 1000978359 |
| ISBN | 0792395522 |
| NCID | BA25157265 |
| 巻冊次 | ISBN:0792395522 |
| 登録日 | 2009.09.16 |
| 更新日 | 2009.09.16 |