| Titre : | Introduction to the formal design of real-time systems |
| Auteurs : | David Gray |
| Type de document : | texte imprimé |
| Editeur : | Londres : Springer-Verlag, 1999 |
| Collection : | Applied computing |
| ISBN/ISSN/EAN : | 978-3-540-76140-2 |
| Format : | 1 vol. (461 p.) / 24 cm |
| Note générale : | Index |
| Langues originales: | |
| Index. décimale : | 530 (Physique) |
| Mots-clés: | Système de temps réel |
| Côte titre : |
S8/50036-50038 |
Exemplaires (3)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/50036 | Livre | Bibliothèque centrale | Disponible |
| S8/50037 | Livre | Bibliothèque centrale | Disponible |
| S8/50038 | Livre | Bibliothèque centrale | Disponible |
Accueil
