Tous les ebooks de Claude Jard en PDF et EPUB


3  résultat(s)
Télécharger le livre :  Approches formelles des systèmes embarqués communicants
Ajouter à ma liste d'envies

Approches formelles des systèmes embarqués communicants


Claude Jard , Olivier H. Roux


Les systèmes embarqués sont un enjeu industriel et académique incontesté et connaissent une complexité grandissante : architectures réparties et hétérogènes, ressources limitées, systèmes "concurrents" et communicants. Ces systèmes sont souvent critiques et soumis à des...

Parution : 2008-10-16
Format(s) : PDF sans DRM
Éditeur : Hermés science
Collection : Traité IC2
J'achète
103,39
Télécharger le livre :  CFIP'95 : ingénierie des protocoles
Ajouter à ma liste d'envies

CFIP'95 : ingénierie des protocoles


Claude Jard


Ce livre propose les actes du quatrième Colloque francophone sur l'Ingénierie des protocoles - CFIP'95 qui s'est déroulé à Rennes, en France, du 10 au 12 mai 1995.

Parution : 1995-05-15
Format(s) : PDF sans DRM
Éditeur : Hermés science
J'achète
84,40
Télécharger le livre :  Communicating Embedded Systems
Ajouter à ma liste d'envies

Communicating Embedded Systems


Claude Jard , Olivier H. Roux


The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. Formal methods are...

Parution : 2013-02-04
Format(s) : PDF, ePub
Éditeur : Wiley-ISTE
J'achète
163,47

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés