Systèmes temps réel : 1 Techniques de description et de vérification

Saved in:
Bibliographic Details
Other Authors : Navet Nicolas (Directeur de publication)
Format : Book
Language : français
Title statement : Systèmes temps réel. 1, Techniques de description et de vérification / sous la direction de Nicolas Navet
Published : Paris : Hermes science publ. , cop. 2006
Lavoisier
Physical Description : 1 vol. (370-VII p.)
Series : IC2 Série Informatique et systèmes d'information
Subjects :
LEADER 01480cam a2200373 4500
001 PPN108019632
005 20170707140300.0
010 |a 2-7462-1303-6  |b rel.  |d 115 EUR 
073 0 |a 9782746213036 
100 |a 20060906d2006 k y0frey0103 ba 
101 0 |a fre 
102 |a FR 
105 |a a ||||001yy 
106 |a r 
200 1 |a Systèmes temps réel  |h 1  |i Techniques de description et de vérification  |b Texte imprimé  |f sous la direction de Nicolas Navet 
210 |a Paris  |c Hermes science publ.  |c Lavoisier  |d cop. 2006 
215 |a 1 vol. (370-VII p.)  |c 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 chap. Index 
410 | |0 059210079  |t IC2  |i Série Informatique et systèmes d'information  |b Texte imprimé  |c Paris  |n Hermès science publications  |d 2000- 
606 |3 PPN02963332X  |a Ingénierie des systèmes  |2 rameau 
606 |3 PPN027756246  |a Ordonnancement (gestion)  |2 rameau 
606 |3 PPN027333930  |a Temps réel (informatique)  |2 rameau 
676 |a 004.6  |v 22 
702 1 |3 PPN096306831  |a Navet  |b Nicolas  |4 651 
801 3 |a FR  |b Abes  |c 20070115  |g AFNOR 
930 |5 441092306:290441579  |b 441092306  |a 681.3 SYS A  |j u 
930 |5 441092104:297799894  |b 441092104  |a 681.324 REA-SYS  |j u 
930 |5 441842101:302992545  |b 441842101  |a 004.338 SYS  |j u 
930 |5 441092105:316042250  |b 441092105  |j u 
979 |a ECN 
979 |a SCI 
979 |a STN 
998 |a 479900