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, Computer science, Research exposition (monographs, survey articles)00B15, General -- Conference proceedings and collections of papers, Collections of articles of miscellaneous specific content
68-06, Computer science, Proceedings, conferences, collections, etc.
90-06, Operations research, mathematical programming, Proceedings, conferences, collections, etc.
| 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.