Catalog

Record Details

Catalog Search


Search Results Showing Item 3 of 3

Operational semantics for timed systems : a non-standard approach to uniform modeling of timed and hybrid systems

Rust, Heinrich. (Author).

Available copies

  • 1 of 1 copy available at IPICYT.

Current holds

0 current holds with 1 total copy.

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: 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.
Subject: Computadores híbridos
Procesamiento de datos en tiempo real
Sistemas operacionales (Computadores)
Search Results Showing Item 3 of 3

Additional Resources