Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / Rust Heinrich.
Add to basket
Permalink
Disable Highlighting
Available copies
- 1 of 1 copy available at IPICYT.
Current holds
0 current holds with 1 total copy.
View other formats and editions
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Biblioteca Ipicyt | QA76.54 R8 O6 2005 | APL00561 | Coleccion General | Available | - |
Record details
- ISBN: 3540255761
- Physical Description: xii, 223 p. : Fig. ; 24 cm.
- Publisher: Berlin ; Springer, c2005
Content descriptions
| Bibliography, etc. Note: | Incluye bibliografía e índice. |
Search for related items by subject
| Subject: | Computadores híbridos. Procesamiento de datos en tiempo real. Sistemas operacionales (Computadores) |
