Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, Mar by Albert KündigEmbedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, Mar by Albert Kündig

Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich…

EditorAlbert Kündig

Paperback | October 21, 1987

Pricing and Purchase Info

$87.35 online 
$97.50 list price save 10%
Earn 437 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich…Format:PaperbackDimensions:212 pagesPublished:October 21, 1987Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354018581X

ISBN - 13:9783540185819

Look for similar items by category:

Reviews

Table of Contents

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.