Systèmes temps réel : 1 Techniques de description et de vérification
Saved in:
Other Authors : | |
---|---|
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 |