Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems
Record details
- ISBN: 3540255761
-
Physical Description:
regular print
xii, 223 p. : Fig. ; 24 cm. - Publisher: Berlin ; New York, NY : 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 | - |
