Real-time systems : scheduling, analysis, and verification

Saved in:
Bibliographic Details
Main Author: Cheng, Albert M. K. (Author)
Format: Book
Language: English
Published: Hoboken, NJ : Wiley-Interscience, 2002
Subjects:
ISBN: 0471184063
Physical Description: xxiii, 524 s. : il. ; 25 cm

Cover

Table of contents

LEADER 01006cam a22002537a 4500
001 25873
003 CZ ZlUTB
005 20190825234937.0
008 051227s2002 xxu|||||r|||||||||||eng|d
020 |a 0471184063  |q (váz.) 
040 |a EGM  |b cze  |c EGM  |d ZLD002 
072 7 |a 004  |x Počítačová věda. Výpočetní technika. Informační technologie  |2 Konspekt  |9 23 
080 |a 004.031.43  |2 v 
100 1 |a Cheng, Albert M. K.  |4 aut 
245 1 0 |a Real-time systems :  |b scheduling, analysis, and verification /  |c Albert M.K. Cheng 
260 |a Hoboken, NJ :  |b Wiley-Interscience,  |c 2002 
300 |a xxiii, 524 s. :  |b il. ;  |c 25 cm 
504 |a Obsahuje bibliografické odkazy a rejstřík 
650 0 4 |a reálný čas 
650 0 7 |a řídicí systémy  |7 ph128305  |2 czenas 
910 |a ZLD002 
992 |a BK  |d 1 
999 |c 25873  |d 25873 
952 |0 0  |1 0  |4 0  |6 004CHENGAMK  |7 0  |8 BOOK  |9 51067  |a UTBZL  |b UTBZL  |c 007  |d 2006-07-29  |l 1  |m 3  |o 004/CHENG,A.M.K.  |p 420010091347  |q 2025-12-22  |r 2019-08-25  |v 3693.00  |w 2019-08-25  |x N:nákup  |x 20100630  |y 08