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
Ancien(s) ou d'occasion
Couverture souple
Vendeur
medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 10 mai 2010
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
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
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Embedded Systems: New Approaches to Their ...
Éditeur : Springer
Date d'édition : 1987
Reliure : Couverture souple
Etat : very good