この商品を友人に教える:
High-level System Modeling: Specification Languages - Current Issues in Electronic Modeling Jean-michel Berge
価格
¥ 16.587
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月9日 - 年12月19日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
High-level System Modeling: Specification Languages - Current Issues in Electronic Modeling
Jean-michel Berge
Describing recent progress in specification formalisms in electronic design, this work provides an overview of object-oriented methodologies. It goes on to highlight several formalisms such as VSPEC, ESTELLE, SDL and LOTOS with methods that map their semantics to simulatable/synthesizable VHDL.
178 pages, biography
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 1995年9月30日 |
| ISBN13 | 9780792396321 |
| 出版社 | Kluwer Academic Publishers |
| ページ数 | 178 |
| 寸法 | 155 × 235 × 13 mm · 435 g |
| 言語 | 英語 |
| 編集者 | Berge, Jean-michel |
| 編集者 | Rouillard, Jacques |
![Cover for Jean-Michel Berge · VHDL'92: The New Features of the VHDL Hardware Description Language - The Springer International Series in Engineering and Computer Science (Paperback Book) [Softcover reprint of the original 1st ed. 1993 edition] (2012)](https://imusic.b-cdn.net/images/item/original/276/9781461364276.jpg?jean-michel-berge-2012-vhdl-92-the-new-features-of-the-vhdl-hardware-description-language-the-springer-international-series-in-engineering-and-computer-science-paperback-book&class=scaled&v=1502193956)
![Cover for Jean-michel Berge · Modeling in Analog Design - Current Issues in Electronic Modeling (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1995 edition] (2012)](https://imusic.b-cdn.net/images/item/original/883/9781461359883.jpg?jean-michel-berge-2012-modeling-in-analog-design-current-issues-in-electronic-modeling-paperback-book&class=scaled&v=1502972272)
![Cover for Jean-michel Berge · Models in System Design - Current Issues in Electronic Modeling (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1997 edition] (2012)](https://imusic.b-cdn.net/images/item/original/907/9781461378907.jpg?jean-michel-berge-2012-models-in-system-design-current-issues-in-electronic-modeling-paperback-book&class=scaled&v=1502972272)
![Cover for Jean-michel Berge · Model Generation in Electronic Design (Softcover Reprint of the Origi) (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1995 edition] (2012)](https://imusic.b-cdn.net/images/item/original/890/9781461359890.jpg?jean-michel-berge-2012-model-generation-in-electronic-design-softcover-reprint-of-the-origi-paperback-book&class=scaled&v=1502972272)
![Cover for Jean-michel Berge · Vhdl Designer's Reference (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1992 edition] (2012)](https://imusic.b-cdn.net/images/item/original/518/9781461365518.jpg?jean-michel-berge-2012-vhdl-designer-s-reference-paperback-book&class=scaled&v=1502193958)
![Cover for Jean-michel Berge · High-level System Modeling: Specification Languages (Softcover Reprint of the Origi) (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1995 edition] (2012)](https://imusic.b-cdn.net/images/item/original/739/9781461359739.jpg?jean-michel-berge-2012-high-level-system-modeling-specification-languages-softcover-reprint-of-the-origi-paperback-book&class=scaled&v=1502972272)
![Cover for Jean-michel Berge · Hardware / Software Co-design and Co-verification - Current Issues in Electronic Modeling (Paperback Book) [1st Ed. Softcover of Orig. Ed. 1997 edition] (2010)](https://imusic.b-cdn.net/images/item/original/595/9781441951595.jpg?jean-michel-berge-2010-hardware-software-co-design-and-co-verification-current-issues-in-electronic-modeling-paperback-book&class=scaled&v=1502972272)
![Cover for Jean-michel Berge · Models in System Design - Current Issues in Electronic Modeling (Hardcover Book) [1997 edition] (1997)](https://imusic.b-cdn.net/images/item/original/745/9780792398745.jpg?jean-michel-berge-1997-models-in-system-design-current-issues-in-electronic-modeling-hardcover-book&class=scaled&v=1502972273)
![Cover for Jean-michel Berge · Hardware / Software Co-Design and Co-Verification - Current Issues in Electronic Modeling (Hardcover Book) [1997 edition] (1996)](https://imusic.b-cdn.net/images/item/original/895/9780792396895.jpg?jean-michel-berge-1996-hardware-software-co-design-and-co-verification-current-issues-in-electronic-modeling-hardcover-book&class=scaled&v=1502193956)
![Cover for Jean-michel Berge · Hardware Component Modeling - Current Issues in Electronic Modeling (Hardcover Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/864/9780792396864.jpg?jean-michel-berge-1996-hardware-component-modeling-current-issues-in-electronic-modeling-hardcover-book&class=scaled&v=1502193956)
![Cover for Jean-Michel Berge · Model Generation in Electronic Design - Current Issues in Electronic Modeling (Hardcover Book) [1995 edition] (1995)](https://imusic.b-cdn.net/images/item/original/683/9780792395683.jpg?jean-michel-berge-1995-model-generation-in-electronic-design-current-issues-in-electronic-modeling-hardcover-book&class=scaled&v=1502193956)
![Cover for Jean-Michel Berge · VHDL Designer's Reference (Hardcover Book) [1992 edition] (1992)](https://imusic.b-cdn.net/images/item/original/562/9780792317562.jpg?jean-michel-berge-1992-vhdl-designer-s-reference-hardcover-book&class=scaled&v=1502193956)