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 Media type: computer Carrier type: online resourceISBN: 9783540480211Subject(s): Computer science | Computer Science | Programming TechniquesAdditional physical formats: Printed edition:: No titleDDC classification: 005.11 LOC classification: QA76.6-76.66Online resources: Click here to access online
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
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| IMSc Library | 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.