Research Catalog
Duration calculus : a formal approach to real-time systems
- Title
- Duration calculus : a formal approach to real-time systems / Zhou Chaochen, Michael R. Hansen.
- Author
- Zhou, Chaochen, 1937-
- Publication
- Berlin ; New York : Springer, c2004.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 04-394 | Offsite |
Details
- Additional Authors
- Hansen, Michael R., 1956-
- Description
- x, 247 p. : ill.; 24 cm.
- Series Statement
- Monographs on theoretical computer science
- Uniform Title
- EATCS monographs on theoretical computer science.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [227]-237) and indexes.
- Call Number
- JSE 04-394
- ISBN
- 3540408231 (acid-free paper)
- LCCN
- 2003066406
- OCLC
- 53178309
- Author
- Zhou, Chaochen, 1937-
- Title
- Duration calculus : a formal approach to real-time systems / Zhou Chaochen, Michael R. Hansen.
- Imprint
- Berlin ; New York : Springer, c2004.
- Series
- Monographs on theoretical computer scienceEATCS monographs on theoretical computer science.
- Bibliography
- Includes bibliographical references (p. [227]-237) and indexes.
- Added Author
- Hansen, Michael R., 1956-
- Research Call Number
- JSE 04-394