|
|
|
|
| LEADER |
01773nam a2200325 a 4500 |
| 001 |
c000183741 |
| 003 |
CARM |
| 005 |
20050608083951.0 |
| 008 |
940616s1994 enka b 001 0 eng |
| 010 |
|
|
|a 94028551
|
| 019 |
1 |
|
|a 23995727
|z 11018220
|5 LACONCORD2021
|
| 020 |
|
|
|a 0080420265
|
| 020 |
|
|
|a 0080420257 (flexicover)
|
| 035 |
|
|
|a (OCoLC)30701167
|5 LACONCORD2021
|
| 040 |
|
|
|a TOC
|b eng
|c TOC
|d TOC
|
| 050 |
0 |
0 |
|a QA76.54
|b .M68 1994
|
| 050 |
1 |
4 |
|a QA76.54
|b .M68 1994
|
| 082 |
0 |
0 |
|a 005.2
|2 20
|
| 100 |
1 |
|
|a Motus, L.
|
| 245 |
1 |
0 |
|a Timing analysis of real-time software :
|b a practical approach to the specification and design of real-time ... /
|c by Leo Motus and Michael G. Rodd.
|
| 250 |
|
|
|a 1st ed.
|
| 260 |
|
|
|a Oxford, U.K. ;
|a New York :
|b Pergamon,
|c 1994.
|
| 300 |
|
|
|a xiii, 212 p. :
|b ill. ;
|c 26 cm.
|
| 504 |
|
|
|a Includes bibliographical references (p. 199-208) and index.
|
| 505 |
0 |
|
|a 1. Characteristics of Real-Time Software -- 2. Time Concepts in Embedded Software -- 3. A Review of Embedded Software Description Methods -- 4. The Q-Model -- 5. Representation of the Q-Model -- 6. Describing Systems with the Q-Model: Some Examples -- 7. Analysis of a System Described by the Q-Model -- 8. Towards A Case Environment Based on the Q-Model -- 9. A Case Study: Specifying a Communications Protocol -- App. A. A Brief Comparison of Petri-Nets and Q-Model -- App. B. Proofs of Propositions -- App. C. The Q-Model and a First-Order Predicate Calculus.
|
| 650 |
|
0 |
|a Real-time data processing.
|
| 700 |
1 |
|
|a Rodd, M. G.
|
| 852 |
8 |
|
|b CARM
|h A2:AM08G0
|i C06641
|p 0256482
|f BK
|
| 999 |
f |
f |
|i bce451ff-c3dc-5af2-a4d9-886d29952945
|s 5dbd0baa-8374-5caa-bfda-b2b1501609ea
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C06641
|f A2:AM08G0
|h Other scheme
|i book
|m 0256482
|