Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems / Rust Heinrich.
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) |
Search for related items by series
Available copies
- 1 of 1 copy available at IPICYT.
Holds
- 0 current holds with 1 total copy.
Other Formats and Editions
Show Only Available Copies
| Location | Call Number / Copy Notes | Barcode | Shelving Location | Status | Due Date |
|---|---|---|---|---|---|
| Biblioteca Ipicyt | QA76.54 R8 O6 2005 | APL00561 | Coleccion General | Available | - |
