|
|
|
|
| LEADER |
00000cam a2200000 7i4500 |
| 001 |
0000059459 |
| 005 |
20090414093000.0 |
| 008 |
081023s2007 mau eng |
| 020 |
|
|
|a 9789810244248 (hbk.)
|
| 020 |
|
|
|a 981024424x
|
| 090 |
0 |
0 |
|a QA76.54
|b .R429 2007
|
| 245 |
0 |
0 |
|a Real-time systems :
|b modeling, design, and applications
|c editors, Dan Inoescu, Aurel Cornell
|
| 260 |
|
|
|a Singapore ;
|a Hackensack, NJ :
|b World Scientific ,
|c c2007
|
| 300 |
|
|
|a xxi, 480 p. :
|b ill. ;
|c 22 cm.
|
| 440 |
|
0 |
|a AMAST series in computing
|v v. 8
|
| 504 |
|
|
|a Includes bibliographical references (p. 459-477) and index
|
| 505 |
0 |
|
|a Pt. 1. Theoretical aspects of real-time systems -- Pt. 2. Verification methods for real-time systems -- Pt. 3. Synthesis methods for real-time systems -- Pt. 4. Extensions to formal languages -- Pt. 5. Tools for real-time systems -- Pt. 6. Industrial applications of real-time systems
|
| 650 |
|
0 |
|a Real-time data processing
|
| 700 |
1 |
|
|a Cornell, Aurel ,
|e author
|
| 700 |
1 |
|
|a Inoescu, Dan ,
|e author
|
| 999 |
|
|
|a 1000122074
|b Book
|c OPEN SHELF (30 DAYS)
|e Tembila Campus
|