Real-time systems : specification, verification and analysis / Mathai Joseph

Auteur secondaire : Joseph, Mathai, 1943-, Editeur scientifiqueType 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 science
00B15, 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
Item type: Monographie
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Current library Call number Status Date due Barcode
CMI
Salle R
68 JOS (Browse shelf(Opens below)) Available 11604-01

Bibliogr. p. 259-271. Index

There are no comments on this title.

to post a comment.