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

B¿¿hrer, Richard E., K¿¿ndig, Albert

ISBN 10: 354018581X / ISBN 13: 9783540185819

Edité par Springer, 1987

A propos de cet article

Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

N° de réf. du vendeur M0354018581X-V

Détails bibliographiques

• Titre: Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science)
• Éditeur: Springer
• Date de parution: 1987
• Langue: anglais
• ISBN à 10 chiffres: 354018581X
• ISBN à 13 chiffres: 9783540185819
• Reliure: Couverture souple
• État de l'article: very good

A propos de ce titre

Synopsis

Contient quelques conférences données au printemps 1986 à l'ETH Zurich dans le cadre d'un cours avancé sur les nouvelles approches de l'architecture et de la conception des systèmes embarqués. Les conférences se concentrent sur la description et les méthodes de conception basées sur des modèles formels, appliqués au développement de systèmes informatiques. Le matériel et les logiciels sont traités. Une attention particulière dans la présentation de la base théorique est accordée aux formalismes fonctionnels et aux filets de Petri.