Approches formelles des systèmes embarqués communicants

Approches formelles des systèmes embarqués communicants

Enregistré dans:
Détails bibliographiques
Autres auteurs : Roux Olivier Henri (Éditeur scientifique), Jard Claude (Éditeur scientifique)
Format : Livre
Langue : français
Titre complet : Approches formelles des systèmes embarqués communicants / sous la direction de Olivier H. Roux, Claude Jard
Publié : Paris : Hermes science publ. , impr. 2008
Lavoisier
Description matérielle : 1 vol. (268-XIII p.)
Collection : Traités IC2. Série Informatique et systèmes d'information
Sujets :
Markov, Processus de
Systèmes embarqués (informatique)
Temps réel (informatique)
LEADER 01501cam a2200385 4500
001 PPN129849006
005 20230207061500.0
010 |a 978-2-7462-1942-7  |b rel.  |d 95 EUR 
035 |a (OCoLC)456510587 
073 1 |a 9782746219427 
100 |a 20081215d2008 k y0frey0103 ba 
101 0 |a fre 
102 |a FR 
105 |a a a 000yy 
106 |a r 
200 1 |a Approches formelles des systèmes embarqués communicants  |b Texte imprimé  |f sous la direction de Olivier H. Roux, Claude Jard 
210 |a Paris  |c Hermes science publ.  |c Lavoisier  |d impr. 2008 
215 |a 1 vol. (268-XIII p.)  |c fig., graph.  |d 24 cm 
225 0 |a Traité IC2  |e information, commande, communication  |i Informatique et Systèmes d'Information 
320 |a Bibliogr. en fin de chapitres 
410 | |0 059210079  |t Traités IC2. Série Informatique et systèmes d'information  |x 2108-6281 
606 |3 PPN027238660  |a Markov, Processus de  |2 rameau 
606 |3 PPN033217521  |a Systèmes embarqués (informatique)  |2 rameau 
606 |3 PPN027333930  |a Temps réel (informatique)  |2 rameau 
676 |a 003.3 
676 |a 004.33 
680 |a QA76.54 
686 |a D.2  |2 acm 
702 1 |3 PPN109176294  |a Roux  |b Olivier Henri  |f 19..-....  |c maître de conférences IRCCyN  |4 340 
702 1 |3 PPN129904384  |a Jard  |b Claude  |f 1959- ....  |4 340 
801 3 |a FR  |b Abes  |c 20110608  |g AFNOR 
930 |5 441092105:366123769  |b 441092105  |j u 
930 |5 441092104:383746426  |b 441092104  |a 681.324 REA-APP  |j u 
979 |a SCI 
998 |a 556031