Summary goes here
Shranjeno v:
| Format: | Knjiga |
|---|---|
| Jezik: | angleščina |
| Teme: | |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | ef5cf5ca-bfbe-4f55-ab7a-137d2e48467d |
| isbn | 9780471958352 (acid-free paper) |
| issn | |
| language | eng |
| physical | xvii, 271 pages :illustrations ;24 cm |
| publication | – publisher: John Wiley dateOfPublication: ©1996 |
| publishDate | ©1996 |
| subjects | |
| title | Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli. |
| topic | Real-time data processing. |