1.
Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed...
by Rust, Heinrich
ISBN: 9783540255765
List Price: $64.95
2.
Zuverlssigkeit und Verantwortung: Die Ausfallsicherheit von Programmen (DuD-Fachbeitrge) (Ge...
by Heinrich Rust
ISBN: 9783322849359
List Price: $69.95