Produktbild: Embedded Systems

Embedded Systems

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

New Approaches to Their Formal Description and Design.An Advanced Course, Zurich, Switzerland, March 5-7,1986, Lecture Notes in Computer Science 284

ISBN: 354018581X
ISBN 13: 9783540185819
Herausgeber: Albert Kündig/Richard E Bührer/Jacques Dähler
Verlag: Springer Verlag GmbH
Umfang: viii, 212 S.
Erscheinungsdatum: 21.10.1987
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1484697 Kategorie:

Beschreibung

InhaltsangabeA 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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …