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 | - |
| LDR | 00799cam a20001934500 | ||
|---|---|---|---|
| 001 | 255 | ||
| 003 | CONS | ||
| 005 | 0110617132447.0 | ||
| 007 | ta | ||
| 008 | 070926su 2005gw fr#### 001#0 eng#d | ||
| 020 | . | ‡a3540255761 | |
| 050 | 0 | 0. | ‡aQA76.54 ‡bR8 O6 2005 |
| 100 | 1 | . | ‡aRust, Heinrich. |
| 245 | . | ‡aOperational semantics for timed systems : ‡ba non-standard approach to uniform modeling of timed and hybrid systems / ‡cRust Heinrich. | |
| 260 | . | ‡aBerlin ; ‡aNew York, NY : ‡bSpringer, ‡cc2005 | |
| 300 | . | ‡axii, 223 p. : ‡bFig. ; ‡c24 cm. | |
| 440 | 0. | ‡aLecture notes in computer science, ‡x0302-9743 ; ‡v3456 | |
| 504 | . | ‡aIncluye bibliografía e índice. | |
| 650 | . | ‡aComputadores híbridos. | |
| 650 | . | ‡aProcesamiento de datos en tiempo real. | |
| 650 | . | ‡aSistemas operacionales (Computadores) | |
| 999 | . | ‡aQA76.54 R8 O6 2005 ‡iAPL00561 ‡lCOL_GRAL ‡tLIBRO | |
| 901 | . | ‡a255 ‡b ‡c255 ‡tbiblio ‡sSystem Local | |
