Nantilus
Real-time systems : scheduling, analysis, and verification
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Real-time systems : scheduling, analysis, and verification / Albert M.K. Cheng |
| Publié : |
Hoboken (N.J.) :
WileyOnline library
, 2003 |
| Accès en ligne : |
Accès Nantes Université
|
| Sujets : | |
| Documents associés : | Autre format:
Real-time systems |
| Particularités de l'exemplaire : | Bib. numérique, Ex. 1 : Accessible sur Wiley Online Library |
| Notes : | Description d'après la consultation, 2014-03-23 Titre provenant de l'écran d'accueil L'impression du document génère environ 550 p. |
|---|---|
| Historique des publications : | Numérisation de l'édition de Wiley : 2002 ; ISBN : 978-0-4711-8406-5 |
| Configuration requise : | Navigateur Internet, lecteur de fichiers PDF |
| ISBN : | 978-0-4712-2462-4 |