Real-time systems : specification, verification and analysis / Mathai Joseph
Type de document : MonographieCollection : Prentice-Hall international series in computer scienceLangue : anglais.Pays : Grande Bretagne.Éditeur : London : Prentice-Hall, 1996Description : 1 vol. (XIV-278 p.) : ill. ; 24 cmISBN : 0134552970.Bibliographie : Bibliogr. p. 259-271. Index.Sujet MSC : 68-02, Research exposition (monographs, survey articles) pertaining to computer science00B15, General and overarching topics; collections, Collections of articles of miscellaneous specific content
68-06, Proceedings, conferences, collections, etc. pertaining to computer science
90-06, Proceedings, conferences, collections, etc. pertaining to operations research and mathematical programming
| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| CMI Salle R | 68 JOS (Browse shelf) | Available | 11604-01 |
Bibliogr. p. 259-271. Index
There are no comments for this item.