Tell your friends about this item:
High-level System Modeling: Specification Languages - Current Issues in Electronic Modeling Jean-michel Berge
Price
£ 80.99
Ordered from remote warehouse
Expected delivery Jan 6 - 12, 2026
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
or
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
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | September 30, 1995 |
| ISBN13 | 9780792396321 |
| Publishers | Kluwer Academic Publishers |
| Pages | 178 |
| Dimensions | 155 × 235 × 13 mm · 435 g |
| Language | English |
| Editor | Berge, Jean-michel |
| Editor | Rouillard, Jacques |
More by Jean-michel Berge
Show all![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)
See all of Jean-michel Berge ( e.g. Hardcover Book and Paperback Book )