Geben Sie Ihre E-Mail-Adresse oder Handynummer ein und Sie erhalten einen direkten Link, um die kostenlose Reader-App herunterzuladen.
Die Ex Libris-Reader-App ist für iOS und Android erhältlich. Weitere Informationen zu unseren Apps finden Sie hier.
Klappentext
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.
Titel: | Embedded Systems |
Untertitel: | New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 |
Editor: | |
EAN: | 9783540185819 |
ISBN: | 354018581X |
Format: | Kartonierter Einband |
Herausgeber: | Springer Berlin Heidelberg |
Anzahl Seiten: | 220 |
Gewicht: | 341g |
Größe: | H235mm x B155mm x T12mm |
Jahr: | 1987 |
Untertitel: | Englisch |
Auflage: | 1987 |
Sie haben bereits bei einem früheren Besuch Artikel in Ihren Warenkorb gelegt. Ihr Warenkorb wurde nun mit diesen Artikeln ergänzt. |