<電子ブック>
Embedded Systems : New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 / edited by Albert Kündig, Richard E. Bührer, Jacques Dähler
(Lecture Notes in Computer Science. ISSN:16113349 ; 284)
版 | 1st ed. 1987. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1987 |
本文言語 | 英語 |
大きさ | VIII, 212 p : online resource |
著者標目 | Kündig, Albert editor Bührer, Richard E editor Dähler, Jacques editor SpringerLink (Online service) |
件 名 | LCSH:Computer programming FREE:Programming Techniques |
一般注記 | A note on the meaning of “Embedded systems” -- Design of VLSI systems -- Embedded system description using Petri nets -- Elements for the formal description of systems -- An introduction to system semantics -- Functional formalisms for system description: Current research topics -- Tools for protocols driven by formal specifications -- Functional programming languages as a software engineering tool -- Practical methods and tools for specification HTTP:URL=https://doi.org/10.1007/BFb0016343 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540480211 |
|
電子リソース |
|
EB00225037 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA76.6-76.66 DC23:005.11 |
書誌ID | 4001088846 |
ISBN | 9783540480211 |