UID:
almahu_9948621427502882
Umfang:
VIII, 212 p.
,
online resource.
Ausgabe:
1st ed. 1987.
ISBN:
9783540480211
Serie:
Lecture Notes in Computer Science, 284
Anmerkung:
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.
In:
Springer Nature eBook
Weitere Ausg.:
Printed edition: ISBN 9783662175965
Weitere Ausg.:
Printed edition: ISBN 9783540185819
Sprache:
Englisch
URL:
https://doi.org/10.1007/BFb0016343
