Summary goes here
Enregistré dans:
| Format: | Livre |
|---|---|
| Langue: | anglais |
| Sujets: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | bb4244ce-e21c-4ca6-83fc-c1460e89f50f |
| isbn | 3540408231 9783540408239 3642074049 9783642074042 |
| issn | |
| language | eng |
| physical | x, 247 pages ;25 cm. |
| publication | – publisher: Springer dateOfPublication: ©2004 |
| publishDate | ©2004 |
| subjects | |
| title | Duration calculus : a formal approach to real-time systems / Chaochen Zhou, Michael R. Hansen. |
| topic | Real-time data processing. Formal methods (Computer science) Mathematics Formal methods (Computer science) Mathematics Real-time data processing. |