Real-time systems : specification, verification and analysis /

Bibliographic Details
Other Authors: Joseph, Mathai (ed.)
Format: Book
Language:English
Published: London : Prentice-Hall, 1996.
Series:Prentice-Hall international series in computer science
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20160908123230.0
008 111019s1996 enk||||| |||| 00| 0 eng d
020 |a 0134552970 
040 |a AR_CdUFM  |c AR_CdUFM 
245 0 0 |a Real-time systems :   |b specification, verification and analysis /   |c ed. Mathai Joseph. 
260 |a London :   |b Prentice-Hall,   |c 1996. 
300 |a xvi, 278 p. :  |b il. ;  |c 24 cm. 
490 0 |a Prentice-Hall international series in computer science 
650 4 |a Real-time systems. 
700 1 |9 8456  |a Joseph, Mathai,   |e ed. 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-10-19 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_C3_R288  |7 0  |9 10199  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 0  |o C C3 R288   |p 14643  |r 2023-01-24  |w 2008-06-09  |y LIBRO 
999 |c 7954  |d 7954