L'informatique du temps et des événements

Leçon prononcée le 28 mars 2013 par le titulaire de la chaire pérenne Algorithmes, machines et langages sur le traitement informatique du temps et des événements dans les circuits et logiciels embarqués et sur les méthodes de vérification de ces applications, en particulier dans le domaine des trans...

Description complète

Enregistré dans:
Détails bibliographiques
Egalement en ligne : En ligne Via L informatique du temps et des événements
Auteur principal : Berry Gérard (Auteur)
Format : Livre
Langue : français
Titre complet : L' informatique du temps et des événements / Gérard Berry,...
Publié : [Paris] : Collège de France , DL 2013, cop. 2013
Fayard
Description matérielle : 1 vol. (86 p.)
Collection : Leçon inaugurale - Collège de France ; 236
Sujets :
LEADER 01724cam a2200373 4500
001 PPN172572142
003 http://www.sudoc.fr/172572142
005 20230126060400.0
010 |a 978-2-213-67872-6  |b br.  |d 10,20 EUR 
035 |a (OCoLC)863031367 
073 1 |a 9782213678726 
100 |a 20131025h20132013k y0frey0103 ba 
101 0 |a fre 
102 |a FR 
105 |a a a 000yy 
106 |a r 
200 1 |a L' informatique du temps et des événements  |b Texte imprimé  |f Gérard Berry,... 
210 |a [Paris]  |c Collège de France  |c Fayard  |d DL 2013, cop. 2013  |e 58-Clamecy  |g Impr. Laballery 
215 |a 1 vol. (86 p.)  |c ill.  |d 19 cm 
225 0 |a Leçons inaugurales du Collège de France  |v 236 
339 |a Leçon prononcée le 28 mars 2013 par le titulaire de la chaire pérenne Algorithmes, machines et langages sur le traitement informatique du temps et des événements dans les circuits et logiciels embarqués et sur les méthodes de vérification de ces applications, en particulier dans le domaine des transports. 
320 |a Notes bibliogr. 
410 | |0 001019961  |t Leçon inaugurale - Collège de France  |x 0294-0310  |v 236 
517 | |a L' Informatique du temps et des événements  |e leçon inaugurale prononcée le jeudi 28 mars 2013 
606 |3 PPN029400449  |a Synchronisation  |2 rameau 
606 |3 PPN027235912  |a Langages de programmation  |2 rameau 
606 |3 PPN033217521  |a Systèmes embarqués (informatique)  |2 rameau 
676 |a 004 
700 1 |3 PPN059760214  |a Berry  |b Gérard  |f 1948-....  |c informaticien  |4 070 
801 3 |a FR  |b Electre  |c 20140126  |g AFNOR 
801 3 |a FR  |b Abes  |c 20140618  |g AFNOR 
930 |5 441092104:508790492  |b 441092104  |a 681.324 REA-BER  |j u 
979 |a SCI 
998 |a 671603