Normal view
MARC view
Systèmes d'exploitation (Ordinateurs) (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Rust, Heinrich. 26579, Operational semantics for timed systems :, ©2005.