Image from Amazon.com
Image from Google Jackets
Embedded Systems [electronic resource] : New Approaches to Their Formal Description and Design An Advanced Course Zürich, Switzerland, March 5–7, 1986 / edited by A. Kündig, R. E. Bührer, J. Dähler.
Material type:
TextSeries: Lecture Notes in Computer Science ; 284Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1987Description: VIII, 212 p. online resourceContent type: - text
- computer
- online resource
- 9783540480211
- 005.11 23
- QA76.6-76.66
Contents:
In:
Springer eBooks
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.
E-BOOKS
| Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
| IMSc Library | Link to resource | Available | EBK6276 |
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.
There are no comments on this title.
Log in to your account to post a comment.