Systèmes temps réel. 1, Techniques de description et de vérification
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Livre papier |
| Idioma: | Français |
| Publicado: |
Paris :
Hermes science publ. : Lavoisier
C 2006.
|
| Series: | Traité IC2 : information-commande-communication. Informatique et systèmes d'information
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Techniques de description et de vérification |
| Descrición Física: | 1 volume (370 pages-vii) : graphiques ; 24 cm. |
|---|---|
| Bibliografía: | Bibliographie en fin de chapitres. Index |
| ISBN: | 2746213036 (rel.) : |