Normal view MARC view ISBD view

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, 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
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.

Log in to your account to post a comment.