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 : |
Bibliography : | Bibliogr. en fin de chap. Index |
---|---|
ISBN : | 2-7462-1303-6 |