UID:
edoccha_9959186270202883
Umfang:
1 online resource (VIII, 212 p.)
Ausgabe:
1st ed. 1987.
Ausgabe:
Online edition Springer Lecture Notes Archive ; 041142-5
ISBN:
3-540-48021-8
Serie:
Lecture Notes in Computer Science, 284
Anmerkung:
Bibliographic Level Mode of Issuance: Monograph
,
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.
,
English
In:
Springer eBooks
Weitere Ausg.:
ISBN 3-540-18581-X
Sprache:
Englisch
URL:
http://dx.doi.org/10.1007/BFb0016343
