All categories
caret-down
cartcart

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

 
Only 1 items left in stock
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science, 284, Band 284)

Description

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.

Product details

EAN/ISBN:
9783540185819
Edition:
1987
Medium:
Paperback
Number of pages:
220
Publication date:
2008-06-13
Publisher:
Springer
Manufacturer:
Unknown
EAN/ISBN:
9783540185819
Edition:
1987
Medium:
Paperback
Number of pages:
220
Publication date:
2008-06-13
Publisher:
Springer
Manufacturer:
Unknown

Shipping

laposte
The edition supplied may vary.
Condition
Condition
Learn more
€25.99
available immediately
New €53.49 You save €27.50 (51%)
€25.99
incl. VAT, plus  Shipping costs
paypalvisamastercardamexcartebleue
  • Icon badgeChecked second-hand items
  • Icon packageFree shipping from €19
  • Icon vanWith you in 2-4 working days